BarrelfishOS / barrelfishLinks
Mirror of the official Barrelfish OS repository.
☆208Updated 2 years ago
Alternatives and similar repositories for barrelfish
Users that are interested in barrelfish are comparing it to the libraries listed below
Sorting:
- A component-based OS☆190Updated 5 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated last week
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- The development version of the L4Re Microkernel☆138Updated 2 weeks ago
- RISC-V hypervisor written in Rust☆361Updated 5 years ago
- ☆203Updated 3 years ago
- RedLeaf Operating System☆129Updated 3 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆181Updated this week
- Unikernel Linux☆207Updated last week
- L4Ka::Pistachio micro-kernel☆286Updated 5 years ago
- QEMU with support for CHERI☆59Updated last month
- McKernel☆120Updated last year
- ☆185Updated 5 years ago
- Experimental kernel with built-in replication.☆160Updated 2 weeks ago
- ☆30Updated 3 years ago
- The core components of the L4Re operating system.☆92Updated 2 weeks ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆76Updated last year
- Chickadee OS for Harvard CS 161☆95Updated 6 months ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆197Updated 6 months ago
- ☆138Updated 3 months ago
- Tutorials for working with seL4 and/or CAmkES.☆56Updated 2 weeks ago
- An unofficial guide to contributing to GCC, aimed at newbies☆119Updated 9 months ago
- NOVA Microhypervisor☆415Updated last month
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- PTLsim and QEMU based Computer Architecture Research Simulator☆129Updated 3 years ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆265Updated this week
- ☆123Updated last month
- Easily build and run CHERI related projects☆77Updated this week