Skip to content

@rumpkernel Rump Kernels

Change the repository type filter

All

    Repositories list

    12 repositories

    • wiki

      Public
      Wiki for rump kernels
      26•461•6•0•Updated Jul 15, 2023Jul 15, 2023

    • rumpkernel.github.io

      Public
      Website for rumpkernel.org
      HTML
      •2•7•0•0•Updated Jul 15, 2023Jul 15, 2023

    • rumprun-packages

      Public
      Ready-made packages of software for running on the Rumprun unikernel
      C++
      •
      Other
      •79•203•21•7•Updated Nov 30, 2022Nov 30, 2022

    • rumprun

      Public
      The Rumprun unikernel and toolchain for various platforms
      C
      •
      Other
      •128•1.1k•52•4•Updated May 11, 2020May 11, 2020

    • pci-userspace

      Public
      Kernel PCI device drivers in userspace
      C
      •13•13•1•0•Updated Nov 30, 2019Nov 30, 2019

    • buildrump.sh

      Public
      Utilities for building rump kernels
      C
      •
      Other
      •50•116•16•8•Updated May 5, 2018May 5, 2018

    • src-netbsd

      Public
      Mirror of NetBSD sources useful with rump kernels
      34•12•1•1•Updated Mar 23, 2017Mar 23, 2017

    • rumpctrl

      Public
      Control and diagnostic applications for rump kernels
      Shell
      •
      Other
      •16•36•8•0•Updated Mar 13, 2017Mar 13, 2017

    • fs-utils

      Public
      File System Access Utilities in Userland
      C
      •
      Other
      •9•76•3•0•Updated Feb 18, 2016Feb 18, 2016

    • drv-netif-dpdk

      Public
      DPDK interface driver for userspace TCP/IP stack
      C
      •
      Other
      •54•197•3•0•Updated Oct 19, 2015Oct 19, 2015

    • rump-pktgenif

      Public
      Packet generator and performance simulation tool for rump kernel networking
      C
      •2•3•0•0•Updated Sep 14, 2015Sep 14, 2015

    • drv-netif-netmap

      Public
      netmap interface driver for userspace TCP/IP stack
      C
      •
      BSD 2-Clause "Simplified" License
      •15•44•1•0•Updated May 20, 2015May 20, 2015