On Wed, Mar 4, 2015 at 5:21 PM, Peter Chubb <peter.chubb@nicta.com.au> wrote:

>>>>> "André" == André Bispo <andrefsbispo@hotmail.com> 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