Rump Kernels
Grow your team on GitHub
GitHub is home to over 31 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign up-
Kernel PCI device drivers in userspace
-
The Rumprun unikernel and toolchain for various platforms
-
Utilities for building rump kernels
-
Ready-made packages of software for running on the Rumprun unikernel
-
Mirror of NetBSD sources useful with rump kernels
-
Control and diagnostic applications for rump kernels
-
Website for rumpkernel.org
-
Wiki for rump kernels
-
File System Access Utilities in Userland
-
DPDK interface driver for userspace TCP/IP stack
-
Packet generator and performance simulation tool for rump kernel networking
-
netmap interface driver for userspace TCP/IP stack
