On Wed, Mar 4, 2015 at 5:21 PM, Peter Chubb <[email protected]> wrote:
> >>>>> "André" == André Bispo <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
