oxidecomputer / illumos-gateLinks
An open-source Unix operating system
☆30Updated this week
Alternatives and similar repositories for illumos-gate
Users that are interested in illumos-gate are comparing it to the libraries listed below
Sorting:
- VMM userspace for illumos bhyve☆198Updated last month
- Tools for creating and using Helios images on i86pc (classic PC) physical and virtual machines☆39Updated 2 weeks ago
- A storage service.☆201Updated this week
- A dynamic library bundling the guest payload consumed by libkrun☆97Updated last week
- Create microVMs from OCI images☆34Updated last year
- Tool for generating non-trivial X.509 certificate chains☆31Updated this week
- Fast edit-compile-test cycles for Linux+OpenZFS development☆27Updated 2 weeks ago
- A collection of common Bluespec interfaces/modules.☆101Updated last year
- Rust bindings for the FreeBSD capsicum framework☆61Updated this week
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- Helios: Or, a Vision in a Dream. A Fragment.☆385Updated this week
- Pico Host Boot Loader☆111Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆68Updated 10 months ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- ☆48Updated 7 months ago
- An experimental VMM for KVM written in pure Python☆28Updated 2 years ago
- Bertie TLS 1.3 Implementation☆118Updated 2 weeks ago
- Crates for the Mac OS Hypervisor bindings and APIs☆42Updated 8 months ago
- Scripts for building FreeBSD VMs for use with podman☆49Updated last year
- LD_PRELOADable library for exploring the glibc heap☆107Updated 3 months ago
- ☆42Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- packets go in, packets go out, you can't explain that☆49Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆33Updated last week
- Cloud ready L4 TCP proxy with first-class support for dynamic listeners☆44Updated last month
- Nomad task driver capable of blocking unwanted syscall and filesystem access. Based on the pledge utility for Linux by Justine Tunney☆22Updated last year
- ☆38Updated 5 months ago
- notes, config, tools, etc. for kicking the tires on cockroachdb☆12Updated 2 months ago