Skip to content
Change the repository type filter

All

    Repositories list

    • wiki

      Public
      Wiki for rump kernels
      2646160Updated Jul 15, 2023Jul 15, 2023
    • Website for rumpkernel.org
      HTML
      2700Updated Jul 15, 2023Jul 15, 2023
    • Ready-made packages of software for running on the Rumprun unikernel
      C++
      Other
      78203217Updated Nov 30, 2022Nov 30, 2022
    • rumprun

      Public
      The Rumprun unikernel and toolchain for various platforms
      C
      Other
      1281.1k524Updated May 11, 2020May 11, 2020
    • Kernel PCI device drivers in userspace
      C
      131310Updated Nov 30, 2019Nov 30, 2019
    • Utilities for building rump kernels
      C
      Other
      50116168Updated May 5, 2018May 5, 2018
    • Mirror of NetBSD sources useful with rump kernels
      341211Updated Mar 23, 2017Mar 23, 2017
    • rumpctrl

      Public
      Control and diagnostic applications for rump kernels
      Shell
      Other
      163680Updated Mar 13, 2017Mar 13, 2017
    • fs-utils

      Public
      File System Access Utilities in Userland
      C
      Other
      97630Updated Feb 18, 2016Feb 18, 2016
    • DPDK interface driver for userspace TCP/IP stack
      C
      Other
      5419630Updated Oct 19, 2015Oct 19, 2015
    • Packet generator and performance simulation tool for rump kernel networking
      C
      2300Updated Sep 14, 2015Sep 14, 2015
    • netmap interface driver for userspace TCP/IP stack
      C
      BSD 2-Clause "Simplified" License
      154410Updated May 20, 2015May 20, 2015