cloudius-systems / osv
OSv, a new operating system for the cloud.
☆4,152Updated this week
Alternatives and similar repositories for osv:
Users that are interested in osv are comparing it to the libraries listed below
- The Rumprun unikernel and toolchain for various platforms☆1,145Updated 4 years ago
- A distributed operating system☆1,446Updated 2 years ago
- The Unikernel & MicroVM Compilation and Deployment Platform☆2,735Updated last year
- Experimental KVM-based VMM for containers, written in Go.☆1,680Updated 4 years ago
- A sandboxed execution environment for unikernels☆929Updated 3 weeks ago
- MirageOS is a library operating system that constructs unikernels☆2,638Updated 3 weeks ago
- HyperContainer Daemon☆1,981Updated 6 years ago
- A minimal, resource efficient unikernel for cloud services☆5,112Updated 4 months ago
- BareMetal is a 64-bit OS for x86-64 based computers. The OS is written entirely in Assembly while applications can be written in Assembly…☆1,749Updated 7 years ago
- A kernel designed to run one and only one application in a virtualized environment☆2,743Updated last week
- Capstan, a tool for packaging and running your application on OSv. http://osv.io/capstan☆372Updated last year
- A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of …☆2,717Updated this week
- LK embedded kernel☆3,317Updated this week
- Minimal x86 firmware for booting Linux kernels☆711Updated 2 years ago
- Experimental, scalable, high performance HTTP server☆5,953Updated 2 weeks ago
- Mirror of https://gitlab.redox-os.org/redox-os/tfs☆2,946Updated last year
- A foreign function interface for bash.☆2,130Updated 9 months ago
- Linux-based partitioning hypervisor☆1,785Updated 10 months ago
- Unikernel and immutable infrastructures☆604Updated 3 years ago
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,529Updated last year
- Genode OS Framework☆1,110Updated this week
- App Container Specification and Tooling (archived, see https://github.com/rkt/rkt/issues/4024)☆1,256Updated 7 years ago
- H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server☆11,037Updated 2 weeks ago
- For more information, please see http://smartos.org/ For any questions that aren't answered there, please join the SmartOS discussion li…☆1,598Updated this week
- A toolkit for building secure, portable and lean operating systems for containers☆8,400Updated 2 weeks ago
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,229Updated 5 months ago
- Fully static, unprivileged, self-contained, containers as executable binaries.☆2,518Updated 5 years ago
- The seL4 microkernel☆4,869Updated this week
- Go-style concurrency in C☆3,034Updated 4 years ago
- An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles…☆1,711Updated this week