Which Zynq-7000 platform are you using?
The supported platform is the ZC706. Other platforms might need some
trivial changes, particularly for UART baudrate configuration.
Are you using the debug or release config?
The debug build should show additional messages during boot.
On Thu, 2017-11-09 at 13:35 +0100, Joel Svensson wrote:
> I want to learn about seL4 so I am trying to get is started on the
> hardware I already have (a zynq 7000).
> I have generated the image: sel4test-driver-image-arm-
> Now I try to load that onto the zynq by executing these commands in
> connect arm hw
> fpga -f design_1_wrapper.bit
> source ps7_init.tcl
> dow sel4test-driver-image-arm-
> All of the above seem to be successful. Then, I have a serial link
> hooked up to the board (uart)
> and there I get the following output (screen /dev/ttyUSB1 115200) :
> ELF-loader started on CPU: ARM Ltd. Cortex-A9 r3p0
> ELF-loading image 'kernel'
> But then nothing more. I am lost what to do from this position in
> order to continue exploring seL4.
> I don't even know if what I see is an indication of a problem or
> If anyone has experience in running seL4 on zynq and if you sit on
> knowledge you want to share,
> please fill me in.
> Thank you
> Devel mailing list