Hello guys, i'm building myself a system for my thesis and i'm currently testing out the seL4.

I was trying to boot the sel4test by USB following the tutorial described in another question on this mailing list.

But syslinux seems to load the kernel and the test but nothing appears afterwards.

This is the message shown:

MBR

Loading sel4kernel... ok

Loading rootserver... ok
_

If anyone could help me out i'd be very grateful.

Best regards,

André Bispo.