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
> [email protected]
> https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
