Awesome work! On 5 March 2017 at 20:55, <[email protected]> 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). > > Kent McLeod > > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
