Re: [seL4] USB booting problem

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