[seL4] More detailed `running on hardware' instructions

12 Aug 2014

      Hi Folks,
   I've put up reasonably detailed instructions on how to build and run
   seL4test on the Sabre Lite, BeagleBoard, Odroid XU and IFC6410.

   I'm still working on instructions for the Arndale.

   See http://sel4.systems/Hardware
-- 
Dr Peter Chubb				        peter.chubb AT nicta.com.au
http://www.ssrg.nicta.com.au          Software Systems Research Group/NICTA