L4Ka::Pistachio micro-kernel
☆303Oct 14, 2019Updated 6 years ago
Alternatives and similar repositories for pistachio
Users that are interested in pistachio are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- L4Ka::Hazelnut micro-kernel☆39Sep 1, 2015Updated 11 years ago
- L4Ka::IDL4 Compiler☆20Sep 1, 2015Updated 11 years ago
- A L4.X2 compatible microkernel☆15Jul 8, 2022Updated 4 years ago
- L4Ka::Afterburner virtualization project☆17Oct 13, 2011Updated 14 years ago
- The development version of the L4Re Microkernel☆167Oct 2, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- NOVA Microhypervisor☆459Aug 28, 2026Updated last month
- NOVA userland☆50Jan 6, 2014Updated 12 years ago
- NOVA Microhypervisor☆11Aug 25, 2026Updated last month
- Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)☆1,249May 20, 2026Updated 4 months ago
- The seL4 microkernel☆5,793Updated this week
- Collection of community-maintained components for Genode (migrated to codeberg.org)☆52May 20, 2026Updated 4 months ago
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆767Mar 25, 2026Updated 6 months ago
- Codezero Microkernel☆113Jan 30, 2026Updated 8 months ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A kernel with a purpose - to keep most of the code out of the kernel☆15Jun 30, 2019Updated 7 years ago
- Reference manual for the Genode OS Framework (migrated to codeberg.org)☆24Oct 30, 2025Updated 11 months ago
- The core components of the L4Re operating system.☆105Oct 2, 2026Updated last week
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated last year
- NOVA runtime environment (official branch)☆36Jul 1, 2021Updated 5 years ago
- OpenMach operating system☆119Dec 19, 2014Updated 11 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆60Sep 16, 2026Updated 3 weeks ago
- Advanced Operating Systems project☆21Sep 19, 2025Updated last year
- RaspberryPi☆23Mar 20, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully a…☆20Jul 4, 2026Updated 3 months ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆198Jul 23, 2025Updated last year
- Metta OS☆71Nov 10, 2024Updated last year
- Dancy Operating System☆14Updated this week
- The source of the BSD version moving to POSIX complacence☆18Aug 2, 2014Updated 12 years ago
- Mach 3☆58Sep 22, 2011Updated 15 years ago
- Community site for microkernel projects.☆35Sep 13, 2026Updated 3 weeks ago
- Sail code model of the CHERIoT ISA☆51Aug 26, 2026Updated last month
- An exokernel operating system written in D☆350May 31, 2013Updated 13 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.
- Basic tools for building seL4 projects☆55Sep 22, 2026Updated 2 weeks ago
- LK embedded kernel☆3,698Updated this week
- Magenta Microkernel☆23Jun 10, 2017Updated 9 years ago
- Acess2 Hobby Operating System☆94Nov 11, 2023Updated 2 years ago
- x86-64/arm64 operating system kernel☆24Updated this week
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆45Jun 30, 2021Updated 5 years ago
- Support UEFI load☆11Oct 1, 2015Updated 11 years ago