On Mon, Aug 11, 2014, at 19:04, Peter Chubb wrote:

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

I tried these directions out today to great success, I used the fanta bootloader on an SD card to enable HYP per the directions and fastboot'd and "all [was] well in the universe."

Out of curiosity, I then repeated the process fastbooting from the u-boot included on a 32G eMMC I purchased from hardkernel. I was expecting failure, but things proceeded much the same and all was well once again.

I repeated this process, and recorded my serial output, here's a diff: https://pastee.org/kqvy9

The two files contributing to the diff both contain the entirety of the output of the seL4 testsuite.

Is the direction about seL4 assuming we've booted to HYP inaccurate? Naturally some of my interest does involve using HYP but for merely running the test suite it didn't seem to matter.