Re: [seL4] Hardware Platform for sel4 and running linux as guest os

...

...

...

...

"Andrea" == Andrea Sorbini writes:

Andrea> I can confirm from experience that seL4 supports both serial Andrea> and ethernet on the FreeScale Sabre Lite i.MX6 board (although Andrea> through some buggy, GPL'd, drivers for ethernet). No idea Andrea> about USB nor running Linux on top of seL4. For running virtualised environments, you need a platform with the ARM virtualisation extensions -- a Cortex A53, A15 or A7. Our preferred platform was the Odroid XU; as this has been discontinued, we're looking around for a different readily available platform, preferably with a System MMU to protect all DMA. It's looking like the Nvidia Tegra TK1 will be apropriate, but we haven't started the port yet. -- Dr Peter Chubb Tel: +61 2 8306 0552 http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61