USB booting problem

André Bispo

5 Mar 2015 5 Mar '15

1:53 a.m.

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: MBRLoading sel4kernel... okLoading rootserver... ok _ If anyone could help me out i'd be very grateful. Best regards,André Bispo.

Attachments:

attachment.html (text/html — 811 bytes)

Show replies by date

Yuxin Ren

5 Mar 5 Mar

9:06 a.m.

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

Peter Chubb

9:21 a.m.

...

...
...
...
...
"André" == André Bispo writes:

André> Hello guys, i'm building myself a system André> for my thesis and i'm currently testing out the seL4.I was André> trying to boot the sel4test by USB following the tutorial André> described in another question on this mailing list. What platform are you trying to use? What do you mean, `booting via USB' -- do you mean using the imx_usb boot protocol? We don't actually support that for other than updating u-boot. And you do know that seL4test sends all of its output to the serial console, not to any attached graphical device? Peter C -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

Yuxin Ren

9:31 a.m.

On Wed, Mar 4, 2015 at 5:21 PM, Peter Chubb wrote:

...

...
...
...
...
...
"André" == André Bispo writes:

André> Hello guys, i'm building myself a system André> for my thesis and i'm currently testing out the seL4.I was André> trying to boot the sel4test by USB following the tutorial André> described in another question on this mailing list.

What platform are you trying to use?

What do you mean, `booting via USB' -- do you mean using the imx_usb boot protocol? We don't actually support that for other than updating u-boot.

And you do know that seL4test sends all of its output to the serial console, not to any attached graphical device?

The kernel can only output to the serial port, but user lever program can output to the console, as the console memory buffer is mapped into the user''s address space. Do I miss something here?

...

Peter C

-- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

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

3578

Age (days ago)

3578

Last active (days ago)

List overview

Download

3 comments

3 participants

participants (3)

André Bispo
Peter Chubb
Yuxin Ren