Thanks, Tim,

On Sunday 30 November 2014 13:51:11 Timothy Pearson wrote:
> > On Sunday 30 November 2014 01:45:31 Glen wrote:
<snip>
> > G'day Trinity Gurus,
> >   1.   I downloaded the image ...
> > <http://ftp.fau.de/trinity/embeddedimages/raspberrypi/debian/2013-0
> >9-25-wheezy-raspbian-tde.img.bz2> 2.  Checked the sha512sum   --  OK
> >   3.  Wrote the image to a class 10 MicroSD card with bzcat.
> >
> >   This image does not boot in a model B+ 'Pi which is the only
> > model now available here in remote rural Geriatria.  That makes
> > sense as the files in the FAT32 (firmware) partition are much too
> > old for the B+. So borrowed an older model B (no +) and a MicroSd
> > to SD adapter -- boots fine,  get the expected raspi-config for
> > initial setup, but no sign of tde/trinity.   apt-get update,
> > apt-get upgrade gets lots of updates/upgrades (including, I think,
> > the newer firmware files that may/should be B+ compatible - will
> > recheck this later).
> >   Still no tde/trinity.   Please, what do I need to do to install
> > tde/trinity, in GOF-speak thanks.
> >   Ta,
> > Glen
>
> Well the last time I tried it (1 year ago) it was working.  It is
> likely that somewhere along the line the updates started failing,
> leading to a peculiar XFCE-less RPi image without TDE installed. :-P

   XFCE is there and works as expected, just no TDE/Trinity.
>
> I'll download the latest Raspbian image and see if I can fix up the
> auto-generation system.
>
> Tim

  FWIW.  Just checked, the update/upgrade replaces the firmware files so 
it now boots into a model B+ and remains backwards-compatible with the 
B.  Mark +one for the Debian/Raspbian folk.  :-)

Glen