brho / akarosLinks
Akaros Operating System
☆320Updated 3 years ago
Alternatives and similar repositories for akaros
Users that are interested in akaros are comparing it to the libraries listed below
Sorting:
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- Pure64 is a kernel/software loader for x86-64 systems.☆574Updated 3 months ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Updated 2 months ago
- L4Ka::Pistachio micro-kernel☆288Updated 5 years ago
- UC Berkeley release of Plan 9 under the GPLv2☆683Updated 5 years ago
- The NewOS Operating System☆221Updated 9 years ago
- Portable, efficient, safe execution of untrusted x86 code☆126Updated 3 years ago
- portable libc optimized for code size and readability☆81Updated 8 years ago
- A collection of compiler, emulator and microkernel tools.☆254Updated 5 years ago
- adams and eriks nix☆118Updated 8 years ago
- Jehanne Operating System☆290Updated 3 years ago
- NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.☆69Updated 6 years ago
- A tiny x86 compiler with ELF and PE target☆182Updated last year
- Acess2 Hobby Operating System☆88Updated last year
- A component-based OS☆191Updated 7 months ago
- Modular kernel built for simplicity☆93Updated 8 years ago
- Operating System☆133Updated 3 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 10 months ago
- 64bit port of xv6☆134Updated 6 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- GCC Tiny front-end☆107Updated 8 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 10 years ago
- Microkernel-based system for heterogeneous manycores☆112Updated 5 years ago
- A hobby operating system. Everyone's gotta have one.☆49Updated 14 years ago
- small self hosting C compiler☆486Updated 3 years ago
- ☆185Updated 5 years ago
- an experimental 64-bit operating system☆137Updated 9 months ago
- Pedigree operating system☆91Updated 9 years ago
- A Basic x86 Operating System/Kernel☆52Updated 6 years ago
- Kernel for z80 calculators☆294Updated 2 years ago