So, there is no chance for running linux on top of sel4 on a beagleboard
On Mon, Jan 4, 2016 at 4:30 PM, Peter Chubb <peter.chubb(a)nicta.com.au>
>>>> "Andrea" == Andrea Sorbini <asorbini(a)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
Software Systems Research