l4ka / pistachioLinks
L4Ka::Pistachio micro-kernel
☆288Updated 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☆142Updated this week
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Updated 2 months ago
- Akaros Operating System☆320Updated 3 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 10 years ago
- The core components of the L4Re operating system.☆93Updated this week
- Codezero Microkernel☆112Updated 3 years ago
- The NewOS Operating System☆221Updated 9 years ago
- Microkernel-based system for heterogeneous manycores☆112Updated 5 years ago
- NOVA Microhypervisor☆421Updated last month
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆189Updated 2 years ago
- 64bit port of xv6☆135Updated 6 years ago
- ☆59Updated last month
- A 64-bit SMP-safe kernel for the PC architecture.☆88Updated 7 years ago
- First published Open Source implementation of OpenFirmware☆397Updated 3 weeks ago
- Genode OS Framework☆1,160Updated this week
- Acess2 Hobby Operating System☆88Updated last year
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆188Updated last week
- Modular kernel built for simplicity☆93Updated 8 years ago
- Pedigree operating system☆91Updated 9 years ago
- this repository is unofficial mirror. automatically converted from anoncvs.NetBSD.org every two hours on weekdays (HEAD). On weekend, syn…☆170Updated this week
- My gnu-efi development tree.☆70Updated 7 months ago
- Operating System☆133Updated 3 years ago
- Pure64 is a kernel/software loader for x86-64 systems.☆574Updated 3 months ago
- Mach 3☆52Updated 14 years ago
- A public domain implementation of the C11 standard library.☆168Updated 6 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 2 months ago
- ☆59Updated 3 years ago
- Mirror of the official Barrelfish OS repository.☆211Updated 2 years ago
- minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64☆190Updated 7 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 6 months ago