Rump Kernels

Projects related to rump kernels: drivers, infrastructure, etc.

Pinned Repositories

buildrump.sh
Utilities for building rump kernels
Language:C116 33 6450
drv-netif-dpdk
DPDK interface driver for userspace TCP/IP stack
Language:C196 59 1054
drv-netif-netmap
netmap interface driver for userspace TCP/IP stack
Language:C44 19 815
fs-utils
File System Access Utilities in Userland
Language:C75 18 119
pci-userspace
Kernel PCI device drivers in userspace
Language:C13 11 113
rumpctrl
Control and diagnostic applications for rump kernels
Language:Shell36 14 1716
rumprun
The Rumprun unikernel and toolchain for various platforms
Language:C1.1k 71 95128
rumprun-packages
Ready-made packages of software for running on the Rumprun unikernel
Language:C++202 36 5579
src-netbsd
Mirror of NetBSD sources useful with rump kernels
12 4 134
wiki
Wiki for rump kernels
461 57 926

rumpkernel/rumprun
The Rumprun unikernel and toolchain for various platforms
Language:C1.1k 71 95128
rumpkernel/wiki
Wiki for rump kernels
461 57 926
rumpkernel/rumprun-packages
Ready-made packages of software for running on the Rumprun unikernel
Language:C++202 36 5579
rumpkernel/drv-netif-dpdk
DPDK interface driver for userspace TCP/IP stack
Language:C196 59 1054
rumpkernel/buildrump.sh
Utilities for building rump kernels
Language:C116 33 6450
rumpkernel/fs-utils
File System Access Utilities in Userland
Language:C75 18 119
rumpkernel/drv-netif-netmap
netmap interface driver for userspace TCP/IP stack
Language:C44 19 815
rumpkernel/rumpctrl
Control and diagnostic applications for rump kernels
Language:Shell36 14 1716
rumpkernel/pci-userspace
Kernel PCI device drivers in userspace
Language:C13 11 113
rumpkernel/src-netbsd
Mirror of NetBSD sources useful with rump kernels
12 4 134
rumpkernel/rumpkernel.github.io
Website for rumpkernel.org
Language:HTML7 5 02
rumpkernel/rump-pktgenif
Packet generator and performance simulation tool for rump kernel networking
Language:C3 9 02