Microkernel-based system for heterogeneous manycores
☆114Sep 14, 2020Updated 5 years ago
Alternatives and similar repositories for M3
Users that are interested in M3 are comparing it to the libraries listed below
Sorting:
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Jul 23, 2025Updated 7 months ago
- Microkernel-based system for heterogeneous manycores☆13Mar 6, 2026Updated 2 weeks ago
- NOVA Microhypervisor☆446Feb 25, 2026Updated 3 weeks ago
- Community site for microkernel projects.☆30Dec 30, 2025Updated 2 months ago
- ☆15Sep 9, 2020Updated 5 years ago
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆748Feb 1, 2026Updated last month
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 3 years ago
- Description of commonly done compiler optimizations in C☆47Jul 24, 2022Updated 3 years ago
- K42 Kernel☆31May 11, 2012Updated 13 years ago
- Y86-64 Tools: assembler, simulator, Verilog designs☆18Nov 8, 2018Updated 7 years ago
- ☆21Jul 13, 2020Updated 5 years ago
- The development version of the L4Re Microkernel☆157Mar 13, 2026Updated last week
- ☆18Aug 5, 2025Updated 7 months ago
- Support UEFI load☆11Oct 1, 2015Updated 10 years ago
- A hobby operating system for x86_64, boots with UEFI.☆71Nov 24, 2025Updated 3 months ago
- Bootsector loading binary file from FAT32 partition☆24Aug 4, 2018Updated 7 years ago
- The Silcos kernel is a hybrid, robust and compact modular kernel which provides a platform to build the Silcos OS and SilkUI☆11Jun 22, 2019Updated 6 years ago
- EbbRT: elastic building block runtime☆76Jul 23, 2024Updated last year
- Parallel sections library for parallel data-structures☆14Oct 30, 2023Updated 2 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21May 27, 2020Updated 5 years ago
- This is the source of the seL4 docs.☆18Updated this week
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- NOVA Microhypervisor☆21Feb 25, 2026Updated 3 weeks ago
- Codezero Microkernel☆111Jan 30, 2026Updated last month
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆66Jul 14, 2020Updated 5 years ago
- OpenEmbedded/Yocto Layer for Arm☆21Updated this week
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- Bootstrapping RISC-V from the ground up!☆10Feb 24, 2026Updated 3 weeks ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Disseminated, Distributed OS for Hardware Resource Disaggregation. USENIX OSDI 2018 Best Paper.☆493May 6, 2021Updated 4 years ago
- Advanced Operating Systems project manifest☆14Sep 6, 2025Updated 6 months ago
- Implementation of the core of an exokernel-style operating system☆11Dec 6, 2014Updated 11 years ago
- Nautilus Aerokernel☆48May 11, 2022Updated 3 years ago
- A Cargo subcommand for working with feL4 projects.☆52Jun 5, 2018Updated 7 years ago
- MV-RLU: Scaling Read-Log-Update with Multi-Versioning☆15Nov 8, 2021Updated 4 years ago
- L4Ka::Pistachio micro-kernel☆300Oct 14, 2019Updated 6 years ago
- it's popular to keep reference lists on github☆13May 2, 2022Updated 3 years ago
- POSIX-like scalable multicore research OS kernel☆197Apr 16, 2020Updated 5 years ago