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. These drivers may be integrated into existing systems, or run as standalone unikernels on cloud hypervisors and embedded systems.

Several platforms are readily supported, e.g. userspace (including Linux, Android, BSDs and more), the Xen hypervisor, bare metal (and by extension e.g. KVM and VirtualBox) and the Genode OS Framework. Supporting an entirely new platform is a matter of implementing the high-level rump kernel hypercall interface.

The book Design and Implementation of the Anykernel and Rump Kernels describes the fundamental operating principles and terminology. Further technical information is available on the wiki page for publications & talks. Free support is available via the community. You can also hire consultants for commercial support.