I think the only thing you can't do in linux is manage the MMU, since sel4 reserves that task to itself (plus it's a ring 0 operation and sel4 IIRC runs guests, even the linux kernel, as ring 3)
What I'm not so sure about is I/O capabilities. Does seL4 require a system call to do I/O or can seL4 manipulate a task's IO permission bitmap? If the former, I think you could tie an exception handler to the linux kernel and use that to emulate any privileged opcodes. On Mon, Jan 4, 2016 at 1:35 PM, Julien Delange <julien.dela...@gmail.com> wrote: > 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 > >
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
