Re: [seL4] USB booting problem

...

...

...

...

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