I also had this problem.

The usb works well on my laptop.

But when I move to a large server, I met the same problem with you.

Do you test it on laptop, desktop or others?

Yuxin

On Wed, Mar 4, 2015 at 9:53 AM, André Bispo <andrefsbispo@hotmail.com> wrote:

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.

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel