l4ka / pistachioLinks
L4Ka::Pistachio micro-kernel
☆281Updated 5 years ago
Alternatives and similar repositories for pistachio
Users that are interested in pistachio are comparing it to the libraries listed below
Sorting:
- The development version of the L4Re Microkernel☆130Updated last week
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- NOVA Microhypervisor☆396Updated 3 weeks ago
- Akaros Operating System☆319Updated 3 years ago
- The core components of the L4Re operating system.☆87Updated last week
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆179Updated this week
- The NewOS Operating System☆212Updated 9 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆54Updated 2 months ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- My gnu-efi development tree.☆72Updated 3 months ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆180Updated last year
- Prototype no-assurance reference OS personality built on seL4☆50Updated 2 months ago
- OpenMach operating system☆94Updated 10 years ago
- Codezero Microkernel☆108Updated 3 years ago
- 64bit port of xv6☆129Updated 5 years ago
- Acess2 Hobby Operating System☆86Updated last year
- Read-only mirror of https://git.seabios.org/seabios.git. We don't handle pull requests.☆430Updated 2 months ago
- Simple boot-over-serial bootloader for the Raspberry Pi☆144Updated 4 years ago
- Operating System☆133Updated 3 years ago
- Pure64 is a kernel/software loader for x86-64 systems.☆565Updated last week
- Community site for microkernel projects.☆29Updated 2 months ago
- First published Open Source implementation of OpenFirmware☆377Updated 8 months ago
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- Mach 3☆50Updated 13 years ago
- The Pedigree Operating System☆52Updated 2 years ago
- Genode OS Framework☆1,120Updated this week
- Modular kernel built for simplicity☆93Updated 7 years ago
- aarch64 bare metal test on qemu☆99Updated 10 years ago