rumpkernel/rumpctrl rumpkernel/rumpctrl

  • Stars
    star
    36
  • Rank 735,472 (Top 15 %)
  • Language
    Shell
  • License
    Other
  • Created almost 11 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rumpkernel/rumpctrl
github

rumpkernel

Reviews

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

Repository Details

Control and diagnostic applications for rump kernels

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

src-netbsd

Mirror of NetBSD sources useful with rump kernels
12
star
9

pci-userspace

Kernel PCI device drivers in userspace
C
12
star
10

rumpkernel.github.io

Website for rumpkernel.org
HTML
7
star
11

rump-pktgenif

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