Info: Who Uses Rump Kernels

Gabriel Parmer edited this page Oct 24, 2016 · 3 revisions
Clone this wiki locally

This page lists projects and corporations which use rump kernels in various capacities. You are very welcome to add your own projects, but please add only projects which you are affiliated with. Use the template at the end of this page as a guide.

  • NetBSD

  • DeferPanic

    • Supports compiling a handful of languages down to Rumprun based unikernels in particular and provides infrastructure more suited for unikernels in general.
  • GWU Systems Group

    • Device driver, and legacy functionality support for our research OS.

Template

  • Company and/or project name
    • Short description of how the project uses rump kernels.
    • URL with further information (optional but highly recommended)