oxidecomputer / illumos-gate
An open-source Unix operating system
☆27Updated this week
Alternatives and similar repositories for illumos-gate:
Users that are interested in illumos-gate are comparing it to the libraries listed below
- VMM userspace for illumos bhyve☆182Updated this week
- Fast edit-compile-test cycles for Linux+OpenZFS development☆26Updated last week
- A dynamic library bundling the guest payload consumed by libkrun☆84Updated this week
- illumos Project Discussion☆41Updated last week
- Pico Host Boot Loader☆106Updated 2 weeks ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆26Updated this week
- view based o.s.☆33Updated last month
- Rust Relayd - Early WIP. See also: https://github.com/reyk/privsep-rs☆24Updated 3 years ago
- ☆48Updated 2 months ago
- bootstrap illumos on AArch64☆31Updated last week
- Create microVMs from OCI images☆34Updated 8 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆108Updated this week
- Sail code model of the CHERIoT ISA☆34Updated 3 weeks ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- An experimental VMM for KVM written in pure Python☆26Updated last year
- A storage service.☆182Updated this week
- Scripts for building FreeBSD VMs for use with podman☆48Updated last year
- The Zoo command line tool.☆17Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆100Updated last week
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆173Updated this week
- Nomad task driver capable of blocking unwanted syscall and filesystem access. Based on the pledge utility for Linux by Justine Tunney☆22Updated 9 months ago
- Rust bindings for the FreeBSD capsicum framework☆61Updated last month
- Community developed and maintained version of the OS/Net consolidation☆172Updated this week
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆51Updated 2 years ago
- The Mickey Mouse of dynamic linkers☆14Updated last month
- A C11 compiler for the discrete logic computer☆20Updated 9 months ago
- The No-Order File System (NoFS)☆46Updated 12 years ago
- The source for the illumos documentation site☆32Updated last month
- Stream-based visual programming language for systems observability☆63Updated 2 years ago
- A minimal RISC-V RV32I disassembler☆55Updated 3 years ago