4 ms·
The 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 microkern
by vezzy-fnord 11y ago
The 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.