Hi Julien, I can confirm from experience that seL4 supports both serial and ethernet on the FreeScale Sabre Lite i.MX6 board (although through some buggy, GPL'd, drivers for ethernet). No idea about USB nor running Linux on top of seL4.
Cheers, -Andrea On Sat, Jan 2, 2016 at 10:18 AM, Julien Delange <julien.dela...@gmail.com> wrote: > Dear all, > > I am looking to purchase a board for a project that will use sel4. > > I have the following hardware requirements: > - serial port > - ethernet > - potentially usb > > Then, I want to run linux on top of sel4 and have also some native > components. In the linux partition, I would like to control the usb and > potentially the ethernet. In the native components, I am planning to use > the serial port (communication with other components). > > I thought the beagleboard black would be a good match. Does anyone tried > to run linux as a guest os on this platform? If yes, is there any > tutorial/example to set it up? Also, any information about how to use the > serial ports and other hardware components? > > Also, if you have an experience with any other board (x86 or ARM - the > platform does not really matter), is it possible to indicate what you would > recommend? > > Thanks for any help or suggestion, > > Julien. > > > > _______________________________________________ > Devel mailing list > Devel@sel4.systems > https://sel4.systems/lists/listinfo/devel > > -- Andrea Sorbini Software Engineer asorb...@rti.com +1.408.990.7475 www.rti.com RTI - Your systems. Working as one.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
