Before I read this, is anyone willing to explain how a rump kernel and Rumprun unikernel differ from what MirageOS is doing with unikernels?
Is a rump kernel just a more general abstraction of a unikernel like MirageOS?
Is a rump kernel just a more general abstraction of a unikernel like MirageOS?
An earlier example of a similar approach is DDEKit (https://os.inf.tu-dresden.de/ddekit/), designed so that Linux 2.x drivers can be reused in foreign systems. It's what GNU Hurd uses for its TCP/IP stack, for instance.