Hi,

I’ve been trying to get seL4 running on a Zedboard and I was wondering if there was any documentation on how to boot sle4 from an SD card.

I’ve read

http://sel4.systems/pipermail/devel/2016-December/001160.html

and

https://sel4.systems/Info/Hardware/General/

which mentions using ${loadaddr} but that doesn’t seem to be defined on the Zedboard’s u-boot.

So far I’ve compiled the image targeting the zynq7000 and used the mkimage command from the general hardware page to try u-boot’s fastboot, but fastboot doesn’t seem to be available on the zynq either.

I am a bit of a novice here. I worry that the solution may be simple but I am currently taking shots in the dark. I wanted to ask this list for any resources you may be aware of for getting sel4 test cases running on the Zed.

Thanks for the help,

Jeff Brandon

05-53 Secure Resilient Systems and Technology