l4ka / hazelnut
L4Ka::Hazelnut micro-kernel
☆32Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for hazelnut
- OpenMach operating system☆81Updated 9 years ago
- Pedigree operating system☆89Updated 8 years ago
- L4Ka::Pistachio micro-kernel☆273Updated 5 years ago
- A concurrent-focused message-based operating system.☆92Updated this week
- Codezero Microkernel☆105Updated 2 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 8 years ago
- Reference manual for the Genode OS Framework☆23Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated this week
- The NewOS Operating System☆202Updated 8 years ago
- oskit code from Fluke OS project at University of Utah☆32Updated last year
- Operating System☆132Updated 2 years ago
- Acess2 Hobby Operating System☆84Updated last year
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆31Updated 8 years ago
- UEFI boot loader☆78Updated 2 years ago
- A Tree Parser Generator☆92Updated last month
- The development version of the L4Re Microkernel☆108Updated this week
- The core components of the L4Re operating system.☆77Updated this week
- pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆28Updated 7 months ago
- Modular kernel built for simplicity☆90Updated 7 years ago
- ☆55Updated 4 months ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆192Updated last year
- Shell script to build gcc for various architectures☆79Updated 3 months ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- This is an xv6 port to Raspberry Pi☆41Updated 7 years ago
- Real-time multiprocessor microkernel☆39Updated 5 years ago
- Metta OS☆68Updated 2 weeks ago
- A kernel with a purpose - to keep most of the code out of the kernel☆14Updated 5 years ago
- Open-sourced hobby operating system.☆25Updated 10 years ago