Wiki for rump kernels
☆466Jul 15, 2023Updated 3 years ago
Alternatives and similar repositories for wiki
Users that are interested in wiki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Rumprun unikernel and toolchain for various platforms☆1,177May 11, 2020Updated 6 years ago
- Ready-made packages of software for running on the Rumprun unikernel☆204Nov 30, 2022Updated 3 years ago
- Automated Docker Hub builds of the rumprun toolchain.☆13Aug 5, 2016Updated 10 years ago
- Control and diagnostic applications for rump kernels☆36Mar 13, 2017Updated 9 years ago
- A DNS server that automatically starts unikernels on demand☆303Jul 6, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Unikernel & MicroVM Compilation and Deployment Platform☆2,822Apr 27, 2023Updated 3 years ago
- Utilities for building rump kernels☆118May 5, 2018Updated 8 years ago
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,067Dec 6, 2018Updated 7 years ago
- OCaml 4.02 cross compiler for the rumprun unikernel stack☆51Dec 8, 2015Updated 10 years ago
- Provides a platform to experiment with using Docker to build, distribute and run unikernels.☆95Feb 12, 2018Updated 8 years ago
- OSv, a new operating system for the cloud.☆4,262Aug 17, 2026Updated last week
- MirageOS is a library operating system that constructs unikernels☆2,980Jul 28, 2026Updated last month
- The Click modular router: fast modular packet processing and analysis☆144Sep 28, 2022Updated 3 years ago
- A minimal, resource efficient unikernel for cloud services☆5,247May 15, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan☆377Jul 16, 2025Updated last year
- Erlang on Xen☆824Apr 17, 2022Updated 4 years ago
- Development moved to https://github.com/mhsys/mh☆14Feb 20, 2018Updated 8 years ago
- A DNS server that automatically starts unikernels on demand☆22Nov 11, 2015Updated 10 years ago
- HyperContainer Daemon☆2,010Nov 29, 2018Updated 7 years ago
- Snabb: Simple and fast packet networking☆3,032Jul 30, 2026Updated last month
- A DSL for embedded hard realtime applications.☆277May 15, 2017Updated 9 years ago
- Variant of 4.4BSD Unix for microcontrollers☆335Jan 15, 2025Updated last year
- HermitCore: A C-based, lightweight unikernel☆226Nov 5, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a library version of FreeBSD's TCP/IP stack plus extras☆774Feb 8, 2017Updated 9 years ago
- Tool for uploading unikernels into EC2☆77Aug 27, 2018Updated 8 years ago
- The UNIX v6 shell, written idiomatically in Rust.☆20Dec 6, 2015Updated 10 years ago
- These are the MirageOS slide decks, written as a self-hosting unikernel☆13Nov 3, 2017Updated 8 years ago
- A rump kernel hypervisor for the Linux kernel☆19May 15, 2013Updated 13 years ago
- go on Rumprun☆309Apr 2, 2019Updated 7 years ago
- An IPv4 router over netmap for FreeBSD☆103Feb 13, 2016Updated 10 years ago
- Experimental KVM-based VMM for containers, written in Go.☆1,676Jun 12, 2020Updated 6 years ago
- LuaJIT Unix syscall FFI☆453Dec 30, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Linux TCP/IP stack port for DPDK☆90Jun 21, 2017Updated 9 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆65Mar 22, 2020Updated 6 years ago
- Examples using encoding/binary package☆16Dec 12, 2021Updated 4 years ago
- Userspace TCP/IP stack☆69Feb 20, 2014Updated 12 years ago
- Minimal x86 firmware for booting Linux kernels☆719Sep 20, 2022Updated 3 years ago
- Network Stack in Userspace☆306Feb 14, 2026Updated 6 months ago
- Say hello to ErlangRump an Erlang Microkernel powered by Rumprun unikernel☆14Sep 4, 2016Updated 9 years ago