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