rumpkernel/rumpkernel.github.io rumpkernel/rumpkernel.github.io

  • Stars
    star
    7
  • Rank 2,294,425 (Top 46 %)
  • Language
    HTML
  • Created about 10 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rumpkernel/rumpkernel.github.io
github

rumpkernel

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Website for rumpkernel.org

More Repositories

1

rumprun

The Rumprun unikernel and toolchain for various platforms
C
1,117
star
2

wiki

Wiki for rump kernels
459
star
3

rumprun-packages

Ready-made packages of software for running on the Rumprun unikernel
C++
202
star
4

drv-netif-dpdk

DPDK interface driver for userspace TCP/IP stack
C
193
star
5

buildrump.sh

Utilities for building rump kernels
C
116
star
6

fs-utils

File System Access Utilities in Userland
C
75
star
7

drv-netif-netmap

netmap interface driver for userspace TCP/IP stack
C
44
star
8

rumpctrl

Control and diagnostic applications for rump kernels
Shell
36
star
9

src-netbsd

Mirror of NetBSD sources useful with rump kernels
12
star
10

pci-userspace

Kernel PCI device drivers in userspace
C
12
star
11

rump-pktgenif

Packet generator and performance simulation tool for rump kernel networking
C
3
star