j
k
j a
j l
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
Back to the thread
Back to the list