I have generated the image: sel4test-driver-image-arm-zynq7000

Now I try to load that onto the zynq by executing these commands in XMD:

connect arm hw

rst

fpga -f design_1_wrapper.bit

source ps7_init.tcl

ps7_init

ps7_post_config

dow sel4test-driver-image-arm-zynq7000

run

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
  paddr=[10000000..103c881f]
ELF-loading image 'kernel'
  paddr=[0..2afff]
  vaddr=[e0000000..e002afff]
  virt_entry=e0000000

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 not.

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