3 ms·
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 j
by TheMagicHorsey 11y ago
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?
- vezzy-fnord 11y agoThe principle of a rump kernel is to make OS drivers and subsystems able to run both in a monolithic kernel context and in a userspace context, with a microkernel-like fashion. An earlier example of a similar approach is DDEKit (https://os.inf.tu-dresden.de/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.
- anttiok 11y agoCheck out the "Comparison with other unikernels" section in the post.