Rump Kernels

@rumpkernel

Popular repositories Loading

The Rumprun unikernel and toolchain for various platforms

C 1.2k 125
Wiki for rump kernels

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

C++ 205 78
DPDK interface driver for userspace TCP/IP stack

C 201 53
Utilities for building rump kernels

C 122 50
File System Access Utilities in Userland

C 79 9

Showing 10 of 12 repositories

wiki Public
Wiki for rump kernels

rumpkernel/wiki’s past year of commit activity
rumpkernel/rumpkernel.github.io’s past year of commit activity

HTML
7 2 0 0
Updated Jul 15, 2023
rumprun-packages Public
Ready-made packages of software for running on the Rumprun unikernel

rumpkernel/rumprun-packages’s past year of commit activity
rumprun Public
The Rumprun unikernel and toolchain for various platforms

rumpkernel/rumprun’s past year of commit activity
rumpkernel/pci-userspace’s past year of commit activity

C
14 13 1 0
Updated Nov 30, 2019
rumpkernel/buildrump.sh’s past year of commit activity
src-netbsd Public
Mirror of NetBSD sources useful with rump kernels

rumpkernel/src-netbsd’s past year of commit activity

13 34 1 1
Updated Mar 23, 2017
rumpctrl Public
Control and diagnostic applications for rump kernels

rumpkernel/rumpctrl’s past year of commit activity

Shell
35 15 8 0
Updated Mar 13, 2017
fs-utils Public
File System Access Utilities in Userland

rumpkernel/fs-utils’s past year of commit activity

C
79 9 3 0
Updated Feb 18, 2016
drv-netif-dpdk Public
DPDK interface driver for userspace TCP/IP stack

rumpkernel/drv-netif-dpdk’s past year of commit activity

Loading…