So, there is no chance for running linux on top of sel4 on a beagleboard black?
On Mon, Jan 4, 2016 at 4:30 PM, Peter Chubb <peter.ch...@nicta.com.au> wrote: > >>>>> "Andrea" == Andrea Sorbini <asorb...@rti.com> 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 >
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
