Microkernel-based system for heterogeneous manycores
☆118Jul 30, 2026Updated last week
Alternatives and similar repositories for M3
Users that are interested in M3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆198Jul 23, 2025Updated last year
- Microkernel-based system for heterogeneous manycores☆14Jun 1, 2026Updated 2 months ago
- NOVA runtime environment (official branch)☆36Jul 1, 2021Updated 5 years ago
- Community site for microkernel projects.☆34Jul 16, 2026Updated 3 weeks ago
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆762Mar 25, 2026Updated 4 months ago
- K42 Kernel☆32May 11, 2012Updated 14 years ago
- Y86-64 Tools: assembler, simulator, Verilog designs☆19Nov 8, 2018Updated 7 years ago
- ☆21Jul 13, 2020Updated 6 years ago
- The development version of the L4Re Microkernel☆166Jul 31, 2026Updated last week
- Kami based processor implementations and specifications☆23Jun 8, 2020Updated 6 years ago
- ☆20Jul 22, 2026Updated 2 weeks ago
- The core components of the L4Re operating system.☆106Jul 31, 2026Updated last week
- A (GCC) compiler plugin for multiversing functions☆21May 23, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A hobby operating system for x86_64, boots with UEFI.☆72May 23, 2026Updated 2 months ago
- Parallel sections library for parallel data-structures☆15Jun 13, 2026Updated last month
- Bootsector loading binary file from FAT32 partition☆25Aug 4, 2018Updated 8 years ago
- Hybrid Memory Versioning File System (HMVFS).☆12Jul 21, 2017Updated 9 years ago
- EbbRT: elastic building block runtime☆76Jul 23, 2024Updated 2 years ago
- Real-time multiprocessor microkernel☆39Sep 13, 2019Updated 6 years ago
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆54Apr 14, 2026Updated 3 months ago
- Code repository for R Data Mining Blueprints, published by Packt☆10Jan 14, 2021Updated 5 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆22May 27, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- UEFI OVMF symbol load script for GDB☆22Jul 20, 2022Updated 4 years ago
- This is the source of the seL4 docs.☆18Updated this week
- NOVA Microhypervisor☆22Jun 30, 2026Updated last month
- Codezero Microkernel☆113Jan 30, 2026Updated 6 months ago
- Linux-based partitioning hypervisor☆1,949May 18, 2024Updated 2 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 22, 2026Updated 2 weeks ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆87Apr 29, 2018Updated 8 years ago
- LiTL: Library for Transparent Lock Interposition☆86Jun 29, 2023Updated 3 years ago
- uefi app/bootloader development sandbox☆15Apr 25, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Disseminated, Distributed OS for Hardware Resource Disaggregation. USENIX OSDI 2018 Best Paper.☆501May 6, 2021Updated 5 years ago
- Advanced Operating Systems project manifest☆15Sep 6, 2025Updated 11 months ago
- https://rs3lab.github.io/SynCord/☆26Nov 23, 2022Updated 3 years ago
- Implementation of the core of an exokernel-style operating system☆11Dec 6, 2014Updated 11 years ago
- it's popular to keep reference lists on github☆13May 2, 2022Updated 4 years ago
- MV-RLU: Scaling Read-Log-Update with Multi-Versioning☆15Nov 8, 2021Updated 4 years ago
- Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)☆1,253May 20, 2026Updated 2 months ago