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 <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
