Microkernel-based system for heterogeneous manycores
☆113Sep 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
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 7 years ago
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆740Feb 1, 2026Updated last month
- ☆15Sep 9, 2020Updated 5 years ago
- NOVA runtime environment (official branch)☆35Jul 1, 2021Updated 4 years ago
- Advanced Operating Systems project manifest☆14Sep 6, 2025Updated 5 months ago
- Community site for microkernel projects.☆30Dec 30, 2025Updated 2 months ago
- This is the source of the seL4 docs.☆18Updated this week
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 3 years ago
- K42 Kernel☆31May 11, 2012Updated 13 years ago
- A (GCC) compiler plugin for multiversing functions☆21May 23, 2022Updated 3 years ago
- Many Threads Operating System☆18Apr 22, 2022Updated 3 years ago
- Y86-64 Tools: assembler, simulator, Verilog designs☆18Nov 8, 2018Updated 7 years ago
- Codezero Microkernel☆111Jan 30, 2026Updated last month
- 從 C 語言到 RISCV 處理器☆24Jan 18, 2019Updated 7 years ago
- The development version of the L4Re Microkernel☆157Feb 20, 2026Updated last week
- NOVA Microhypervisor☆21Dec 8, 2025Updated 2 months ago
- a lua-based opengl GUI☆17Jul 30, 2016Updated 9 years ago
- The core components of the L4Re operating system.☆101Updated this week
- https://rs3lab.github.io/SynCord/☆26Nov 23, 2022Updated 3 years ago
- AdGuard Non-Official Traditional Chinese translation for macOS☆11Feb 5, 2020Updated 6 years ago
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Updated this week
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- 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
- A research kernel written in modern C++.☆25Jan 25, 2022Updated 4 years ago
- Support UEFI load☆11Oct 1, 2015Updated 10 years ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- it's popular to keep reference lists on github☆13May 2, 2022Updated 3 years ago
- Operating System From Scratch : learn OS by practice☆11Nov 19, 2011Updated 14 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆35Nov 12, 2013Updated 12 years ago
- Disseminated, Distributed OS for Hardware Resource Disaggregation. USENIX OSDI 2018 Best Paper.☆493May 6, 2021Updated 4 years ago
- EbbRT: elastic building block runtime☆77Jul 23, 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
- Hybrid Memory Versioning File System (HMVFS).☆12Jul 21, 2017Updated 8 years ago
- x86 Microkernel☆15Apr 1, 2020Updated 5 years ago
- OS-free port of LwIP stack to ARM board with lan91c111 ethernet controller☆15Feb 12, 2021Updated 5 years ago
- PonyTown Client For Windows☆12Sep 19, 2016Updated 9 years ago