oxidecomputer / illumos-gateLinks
An open-source Unix operating system
☆35Updated 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☆204Updated this week
- A storage service.☆213Updated this week
- packets go in, packets go out, you can't explain that☆56Updated this week
- Pico Host Boot Loader☆111Updated last week
- Fast edit-compile-test cycles for Linux+OpenZFS development☆29Updated 3 weeks ago
- A dynamic library bundling the guest payload consumed by libkrun☆100Updated this week
- Tool for generating non-trivial X.509 certificate chains☆31Updated last month
- Helios: Or, a Vision in a Dream. A Fragment.☆401Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆142Updated this week
- Create microVMs from OCI images☆35Updated last month
- ANoTher Linux Image buildeR☆90Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- view based o.s.☆43Updated last month
- A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…☆119Updated 4 years ago
- A Unikernel running WebAssembly code☆50Updated 2 years ago
- A RISC-V emulator built with ClickHouse SQL☆45Updated 3 months ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆29Updated 6 years ago
- Rust bindings for the FreeBSD capsicum framework☆64Updated 2 months ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆36Updated last week
- Bertie TLS 1.3 Implementation☆125Updated 3 months ago
- 🧹🧹🧹 File expiration for any filesystem☆46Updated 2 years ago
- Sail code model of the CHERIoT ISA☆43Updated last week
- Crates for the Mac OS Hypervisor bindings and APIs☆44Updated 11 months ago
- Nomad task driver capable of blocking unwanted syscall and filesystem access. Based on the pledge utility for Linux by Justine Tunney☆23Updated last year
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Scripts for building FreeBSD VMs for use with podman☆49Updated last year
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- An experimental VMM for KVM written in pure Python☆33Updated 2 years ago
- CGroup aware resource querying library☆57Updated 10 months ago
- Read, write, and process RFDs☆78Updated last week