Hi Ian,
If you like to see a linux kernel booting on your 712, you can donwload
a fully operationnal root file system with the STI console and an extra
terminal with
the RS232 port at
http://www.esiee.fr/puffin
You have also all the info to make a bootable hard disk so try it and give
us feedback...
Bye,
Thomas Marteau
ESIEE Team