gwsystems / composite
A component-based OS
☆190Updated last month
Alternatives and similar repositories for composite:
Users that are interested in composite are comparing it to the libraries listed below
- Mirror of the official Barrelfish OS repository.☆181Updated 2 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated last week
- Akaros Operating System☆316Updated 3 years ago
- POSIX-like scalable multicore research OS kernel☆188Updated 4 years ago
- The development version of the L4Re Microkernel☆116Updated this week
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- HermitCore: A C-based, lightweight unikernel☆224Updated 3 years ago
- Unikernel Linux☆187Updated last week
- The core components of the L4Re operating system.☆85Updated this week
- ☆59Updated last week
- ☆183Updated 5 years ago
- NOVA Microhypervisor☆390Updated 3 weeks ago
- RISC-V hypervisor written in Rust☆356Updated 5 years ago
- aarch64 bare metal test on qemu☆98Updated 10 years ago
- Codezero Microkernel☆107Updated 3 years ago
- L4Ka::Pistachio micro-kernel☆277Updated 5 years ago
- Linux in Unikernel Clothing☆70Updated 3 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆175Updated this week
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆136Updated 10 months ago
- ☆199Updated 2 years ago
- ☆102Updated 6 years ago
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆111Updated this week
- PTLsim and QEMU based Computer Architecture Research Simulator☆128Updated 3 years ago
- Full history of Linux created by Yoann Padioleau and Rob Landley. See the wiki for usage instructions.☆59Updated last week
- Operating System☆132Updated 2 years ago
- ☆72Updated last year
- COW b-trees☆99Updated 7 years ago