Rump kernels provide free, portable, componentized, kernel quality drivers such as file systems, POSIX system call handlers, PCI device drivers, a SCSI protocol stack, virtio and a TCP/IP stack. The fundamental enabling technology is the anykernel architecture of NetBSD, which enables the use of unmodified NetBSD kernel drivers.
Several platforms are readily supported, e.g. userspace (including Linux, Android, BSDs and more), the Xen hypervisor, bare metal (and by extension most cloud hypervisors) and the Genode OS Framework. Supporting an entirely new platform is a matter of implementing the high-level rump kernel hypercall interface.
These details are provided for information only. No information here is legal advice and should not be used as such.
There are no reported vulnerabilities
30 Day SummaryApr 19 2025 — May 19 2025
|
12 Month SummaryMay 19 2024 — May 19 2025
|