oxidecomputer / illumos-gateLinks
An open-source Unix operating system
☆47Updated 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☆220Updated this week
- Pico Host Boot Loader☆117Updated this week
- Helios: Or, a Vision in a Dream. A Fragment.☆428Updated 2 weeks ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆211Updated last week
- packets go in, packets go out, you can't explain that☆67Updated last week
- A storage service.☆225Updated 2 weeks ago
- A dynamic library bundling the guest payload consumed by libkrun☆117Updated last month
- ANoTher Linux Image buildeR☆104Updated last week
- Like Envoy xDS, but for eBPF filters☆75Updated this week
- Create microVMs from OCI images☆35Updated 3 weeks ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- Tool for generating non-trivial X.509 certificate chains☆31Updated 3 weeks ago
- A Unikernel running WebAssembly code☆52Updated 2 years ago
- A RISC-V emulator built with ClickHouse SQL☆52Updated 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…☆41Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Updated 2 years ago
- A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…☆120Updated 5 years ago
- Bertie TLS 1.3 Implementation☆130Updated 3 months ago
- Rust Relayd - Early WIP. See also: https://github.com/reyk/privsep-rs☆23Updated 4 years ago
- Python library for configuring and building unikernels☆178Updated 3 years ago
- Fast edit-compile-test cycles for Linux+OpenZFS development☆32Updated last month
- ☆43Updated last year
- TOML deck generator with custom templates and schema validation☆37Updated 2 years ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆31Updated 7 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆169Updated 2 weeks ago
- Read, write, and process RFDs☆85Updated this week
- 'vhost-user' device backends workspace☆111Updated this week
- A routing stack written in Rust.☆71Updated last week
- Tokio-based asynchronous filesystems library using 9P2000.L protocol, an extended variant of 9P from Plan 9.☆132Updated last year