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.☆572Updated last month
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆198Updated 3 weeks ago
- L4Ka::Pistachio micro-kernel☆286Updated 5 years ago
- UC Berkeley release of Plan 9 under the GPLv2☆684Updated 5 years ago
- portable libc optimized for code size and readability☆81Updated 8 years ago
- Portable, efficient, safe execution of untrusted x86 code☆126Updated 3 years ago
- The NewOS Operating System☆218Updated 9 years ago
- A collection of compiler, emulator and microkernel tools.☆254Updated 5 years ago
- Modular kernel built for simplicity☆93Updated 8 years ago
- Jehanne Operating System☆290Updated 3 years ago
- Pthreads-free Linux threading demo☆158Updated 6 years ago
- NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.☆69Updated 6 years ago
- Acess2 Hobby Operating System☆87Updated last year
- adams and eriks nix☆118Updated 8 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 9 months ago
- 64bit port of xv6☆130Updated 5 years ago
- Pedigree operating system☆91Updated 9 years ago
- small self hosting C compiler☆485Updated 3 years ago
- A tiny x86 compiler with ELF and PE target☆182Updated last year
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- A concurrent-focused message-based operating system.☆95Updated last week
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- Operating System☆132Updated 3 years ago
- A component-based OS☆191Updated 6 months ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- Ulix, the Literate Unix☆177Updated 9 years ago
- Genode OS Framework☆1,140Updated this week
- Microkernel-based system for heterogeneous manycores☆109Updated 4 years ago
- Vanadium OS☆113Updated 7 years ago