Awesome work!
On 5 March 2017 at 20:55, Kent.Mcleod@data61.csiro.au wrote:
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-to-run-unmodified-netbsd-drivers-on-sel4/. 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.
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%E2%80%8B).
Kent McLeod
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel