Rump Kernels

Repositories

rumprun

The Rumprun unikernel and toolchain for various platforms

C 115 970 48 4 Updated May 11, 2020

rumprun-packages

Ready-made packages of software for running on the Rumprun unikernel

C++ 72 190 21 6 Updated Dec 20, 2019

pci-userspace

Kernel PCI device drivers in userspace

C 11 9 1 0 Updated Nov 30, 2019

buildrump.sh

Utilities for building rump kernels

C 47 108 16 8 Updated May 5, 2018

src-netbsd

Mirror of NetBSD sources useful with rump kernels

32 9 1 1 Updated Mar 23, 2017

rumpctrl

Control and diagnostic applications for rump kernels

Shell 18 35 8 0 Updated Mar 13, 2017

rumpkernel.github.io

Website for rumpkernel.org

HTML 2 5 0 0 Updated Oct 26, 2016

wiki

Wiki for rump kernels

30 444 6 0 Updated Feb 26, 2016

fs-utils

File System Access Utilities in Userland

C 9 70 3 0 Updated Feb 18, 2016

drv-netif-dpdk

DPDK interface driver for userspace TCP/IP stack

C 57 186 3 0 Updated Oct 19, 2015

rump-pktgenif

Packet generator and performance simulation tool for rump kernel networking

C 2 2 0 0 Updated Sep 14, 2015

drv-netif-netmap

netmap interface driver for userspace TCP/IP stack

C BSD-2-Clause 16 42 1 0 Updated May 20, 2015