Last year for my honors thesis I evaluated rump kernels as a way of running unmodified NetBSD drivers on seL4. This work has recently been pushed out with a corresponding blog post: https://research.csiro.au/tsblog/using-rump-kernels- . This was done by adding support for the Rumprun unikernel to use seL4 as a target platform. Currently ia32 and x86_64 is supported and we have tested the e1000 network card driver and networking stack using Dell Sandy Bridge and Haswell machines.to-run-unmodified-netbsd- drivers-on-sel4/
Rump kernels are a project that allows unmodified NetBSD OS component reuse in other systems (http://rumpkernel.org/). We want to use rump kernels as a way of providing drivers and other OS components such as filesystems and networking stacks on seL4 such as in CAmkES components. Some sample applications can be found here (https://github.com/SEL4PROJ/rumprun-sel4-demoapps ) and a link to the thesis can be found here (http://www.disy.cse.unsw.edu.au/theses_public/16/ ).kentm.pdf
Kent McLeod
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel