Wiki for rump kernels
☆462Jul 15, 2023Updated 2 years ago
Alternatives and similar repositories for wiki
Users that are interested in wiki are comparing it to the libraries listed below
Sorting:
- The Rumprun unikernel and toolchain for various platforms☆1,172May 11, 2020Updated 5 years ago
- Ready-made packages of software for running on the Rumprun unikernel☆205Nov 30, 2022Updated 3 years ago
- A DNS server that automatically starts unikernels on demand☆303Jul 6, 2016Updated 9 years ago
- Automated Docker Hub builds of the rumprun toolchain.☆13Aug 5, 2016Updated 9 years ago
- The Unikernel & MicroVM Compilation and Deployment Platform☆2,804Apr 27, 2023Updated 2 years ago
- A sandboxed execution environment for unikernels☆971Feb 20, 2026Updated last week
- Utilities for building rump kernels☆122May 5, 2018Updated 7 years ago
- The `docker run unikernel` demo DockerCon EU (Nov 2015)☆141Dec 1, 2015Updated 10 years ago
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,069Dec 6, 2018Updated 7 years ago
- OSv, a new operating system for the cloud.☆4,234Dec 21, 2025Updated 2 months ago
- Provides a platform to experiment with using Docker to build, distribute and run unikernels.☆95Feb 12, 2018Updated 8 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆50Dec 8, 2015Updated 10 years ago
- MirageOS is a library operating system that constructs unikernels☆2,848Updated this week
- OSv Applications☆139Jun 14, 2024Updated last year
- A minimal, resource efficient unikernel for cloud services☆5,213Jan 8, 2026Updated last month
- The Click modular router: fast modular packet processing and analysis☆142Sep 28, 2022Updated 3 years ago
- Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan☆375Jul 16, 2025Updated 7 months ago
- DPDK interface driver for userspace TCP/IP stack☆201Oct 19, 2015Updated 10 years ago
- HyperContainer Daemon☆2,071Nov 29, 2018Updated 7 years ago
- File System Access Utilities in Userland☆79Feb 18, 2016Updated 10 years ago
- Erlang on Xen☆812Apr 17, 2022Updated 3 years ago
- Tools for running rump unikernels in userspace☆57Dec 12, 2015Updated 10 years ago
- A DSL for embedded hard realtime applications.☆276May 15, 2017Updated 8 years ago
- HermitCore: A C-based, lightweight unikernel☆227Nov 5, 2021Updated 4 years ago
- go on Rumprun☆309Apr 2, 2019Updated 6 years ago
- A DNS server that automatically starts unikernels on demand☆22Nov 11, 2015Updated 10 years ago
- Variant of 4.4BSD Unix for microcontrollers☆326Jan 15, 2025Updated last year
- App Container Specification and Tooling (archived, see https://github.com/rkt/rkt/issues/4024)☆1,256Jan 24, 2018Updated 8 years ago
- A set of tools to work with cgroup tree and process classification/QoS according to it☆10Oct 1, 2019Updated 6 years ago
- Tool to convert input application into unikernel image☆10Mar 30, 2017Updated 8 years ago
- These are the MirageOS slide decks, written as a self-hosting unikernel☆13Nov 3, 2017Updated 8 years ago
- Another RateLimit for throttled☆10Oct 22, 2015Updated 10 years ago
- A portable hybrid distributed OS based on Inferno, LuaJIT and Libuv☆417Jan 4, 2021Updated 5 years ago
- Snabb: Simple and fast packet networking☆3,032Aug 30, 2024Updated last year
- [not maintained] Lightweight JavaScript library operating system for the cloud☆1,923Dec 19, 2019Updated 6 years ago
- The Interim Operating System☆1,304Jun 11, 2021Updated 4 years ago
- Genode OS Framework☆1,212Updated this week
- Functional Network Framework for Multi-Core Architectures☆523May 2, 2019Updated 6 years ago
- Network Stack in Userspace☆305Feb 14, 2026Updated last week