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
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated last week
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- The development version of the L4Re Microkernel☆114Updated last week
- The core components of the L4Re operating system.☆82Updated last week
- ☆59Updated 2 weeks ago
- POSIX-like scalable multicore research OS kernel☆188Updated 4 years ago
- HermitCore: A C-based, lightweight unikernel☆224Updated 3 years ago
- NOVA Microhypervisor☆389Updated last week
- Codezero Microkernel☆107Updated 3 years ago
- Mirror of the official Barrelfish OS repository.☆179Updated 2 years ago
- Unikernel Linux☆187Updated this week
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆194Updated 2 months ago
- ☆198Updated 2 years ago
- RISC-V hypervisor written in Rust☆355Updated 5 years ago
- Akaros Operating System☆316Updated 3 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆104Updated this week
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆175Updated this week
- aarch64 bare metal test on qemu☆98Updated 10 years ago
- ☆136Updated 9 months ago
- Tutorials for working with seL4 and/or CAmkES.☆53Updated last week
- ☆183Updated 5 years ago
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆687Updated 5 years ago
- L4Ka::Pistachio micro-kernel☆276Updated 5 years ago
- seL4 specification and proofs☆528Updated this week
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- musl libc for RISC-V☆82Updated 5 years ago
- Manticore is a research operating system, written in Rust.☆294Updated last year
- Experimental kernel with built-in replication.☆157Updated last year
- The LITMUS^RT kernel.☆48Updated 4 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago