BarrelfishOS / barrelfishLinks
Mirror of the official Barrelfish OS repository.
☆211Updated 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☆191Updated 7 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 2 months ago
- Microkernel-based system for heterogeneous manycores☆112Updated 5 years ago
- The development version of the L4Re Microkernel☆142Updated this week
- ☆207Updated 3 years ago
- POSIX-like scalable multicore research OS kernel☆193Updated 5 years ago
- Unikernel Linux☆210Updated last month
- The core components of the L4Re operating system.☆93Updated this week
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆188Updated last week
- RISC-V hypervisor written in Rust☆363Updated 5 years ago
- RedLeaf Operating System☆133Updated 3 years ago
- NOVA Microhypervisor☆421Updated last month
- ☆185Updated 5 years ago
- ☆30Updated 3 years ago
- Experimental kernel with built-in replication.☆160Updated 2 months ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- L4Ka::Pistachio micro-kernel☆288Updated 5 years ago
- McKernel☆121Updated 2 weeks ago
- QEMU with support for CHERI☆59Updated this week
- HiStar operating system (not under active development)☆30Updated 7 years ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆48Updated last year
- Fork of LLVM adding CHERI support☆57Updated this week
- Documentation, references, and collected academic research for the cuteOS Kernel.☆40Updated 10 years ago
- ☆79Updated last year
- Prototype no-assurance reference OS personality built on seL4☆50Updated 6 months ago
- ☆59Updated last month
- An unofficial guide to contributing to GCC, aimed at newbies☆120Updated 11 months ago
- ☆63Updated last year
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆271Updated this week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago