The NetBSD rump kernel is the first implementation of the "anykernel" concept where drivers either can be compiled into or run in the monolithic kernel or in user space on top of a light-weight kernel.[1][2][3][4] The NetBSD drivers can be used on top of the rump kernel on a wide range of POSIX operating systems, such as the Hurd,[5] Linux, NetBSD, DragonFly BSD, Solaris kernels and even Cygwin, along with the file system utilities[6] built with the rump libraries. The rump kernels can also run without POSIX directly on top of the Xen hypervisor, an L4 microkernel using the Genode OS Framework[7] or even on OS-less bare metal.
- ^ "The Anykernel and Rump Kernels". Netbsd.org. Retrieved 2013-08-15.
- ^ "FOSDEM 2013 - Interview: Antti Kantee:The Anykernel and Rump Kernels". 2013-02-03. Retrieved 2013-08-15.
- ^ "FOSDEM 2013 - The Anykernel and Rump Kernels". 2013-02-03. Retrieved 2013-08-15.
- ^ "FOSDEM 2014 - Rump Kernels, Just Components". 2014-02-03. Retrieved 2015-02-21.
- ^ "Hurd, Rump kernel, sound, and USB". FOSDEM 2016. Retrieved February 15, 2016.
- ^ file system utilities
- ^ "Release notes for the Genode OS Framework 17.02".