Hi Jeff, The boot process is as follows: 1) u-boot loads the seL4 ELF file into memory at ${loadaddr} 2) u-boot reads the ELF file and copies the appropriate sections to the correct address for program execution 3) u-boot reads the entry point from the ELF file and jumps to the address to start execution. So ${loadaddr} can be anything that you like, as long as it does not overwrite any part of u-boot or occupy the space at which the ELF sections will be copied. Loading from SD can be quite awkward during development. I recommend using JTAG via the XMD tool. Here is an example of the required XMD commands: ------------ connect arm hw rst fpga -f hardware/bitstream.bit source hardware/ps7_init.tcl ps7_init ps7_post_config dow images/sel4bench-image-arm-zynq7000 run exit ------------- - Alex On Mon, 2017-01-30 at 16:04 +0000, Brandon, Jeffrey - 0553 - MITLL wrote:
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
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel