brho / akarosLinks
Akaros Operating System
☆319Updated 3 years ago
Alternatives and similar repositories for akaros
Users that are interested in akaros are comparing it to the libraries listed below
Sorting:
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆198Updated last week
- Pure64 is a kernel/software loader for x86-64 systems.☆571Updated last month
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- L4Ka::Pistachio micro-kernel☆286Updated 5 years ago
- The NewOS Operating System☆216Updated 9 years ago
- Portable, efficient, safe execution of untrusted x86 code☆125Updated 3 years ago
- UC Berkeley release of Plan 9 under the GPLv2☆683Updated 5 years ago
- Jehanne Operating System☆290Updated 3 years ago
- adams and eriks nix☆118Updated 8 years ago
- Modular kernel built for simplicity☆92Updated 8 years ago
- NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.☆68Updated 6 years ago
- A collection of compiler, emulator and microkernel tools.☆254Updated 5 years ago
- A concurrent-focused message-based operating system.☆94Updated last week
- Acess2 Hobby Operating System☆87Updated last year
- Operating System☆132Updated 3 years ago
- portable libc optimized for code size and readability☆81Updated 8 years ago
- Pthreads-free Linux threading demo☆158Updated 5 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 8 months ago
- 64bit port of xv6☆130Updated 5 years ago
- Kernel for z80 calculators☆290Updated 2 years ago
- A component-based OS☆190Updated 5 months ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- Pedigree operating system☆90Updated 9 years ago
- A tiny x86 compiler with ELF and PE target☆182Updated last year
- small self hosting C compiler☆486Updated 3 years ago
- A public domain implementation of the C11 standard library.☆166Updated 6 years ago
- ☆185Updated 5 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- an experimental 64-bit operating system☆136Updated 7 months ago