-={ 2016-11-02 09:11:25.209007295+11:00 }=-

Hey Tony!

 TL> if I had one kicking around, it would be worth a play.

For sure.  In the meantime I am still looking at changes I might be interested
in and my latest build I tried a more generic aarch64 (ie not specific to
raspi3) as well as updated the source versions such as gcc-6.2.0 which matches
the host's compiler.  The build went fine except it wasn't automated so I don't
know how long it will take to replicate if and when automated.

Bottomline is that I am having fun with the idea of it and haven't settled on
which might be the best wrt building and booting a customized kernel on an
actual raspi3.

 TL> Time will tell. :)

That is the usual suspect.

Life is good,
Maurice

... Hafa a soð to syge, þonne þu secge hwæt.
    Always have truth as your goal, whatever you say.
--- GNU bash, version 4.4.0(1)-release (x86_64-atom-linux-gnu)