brho / akaros
Akaros Operating System
☆317Updated 3 years ago
Alternatives and similar repositories for akaros:
Users that are interested in akaros are comparing it to the libraries listed below
- Pure64 is a kernel/software loader for x86-64 systems.☆563Updated 2 weeks ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- Jehanne Operating System☆287Updated 3 years ago
- HermitCore: A C-based, lightweight unikernel☆224Updated 3 years ago
- UC Berkeley release of Plan 9 under the GPLv2☆681Updated 5 years ago
- L4Ka::Pistachio micro-kernel☆279Updated 5 years ago
- The NewOS Operating System☆209Updated 9 years ago
- Operating System☆132Updated 2 years ago
- Acess2 Hobby Operating System☆85Updated last year
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 5 months ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆66Updated 4 years ago
- Portable, efficient, safe execution of untrusted x86 code☆122Updated 3 years ago
- adams and eriks nix☆117Updated 8 years ago
- Modular kernel built for simplicity☆91Updated 7 years ago
- 64bit port of xv6☆128Updated 5 years ago
- Ulix, the Literate Unix☆178Updated 9 years ago
- Pedigree operating system☆90Updated 8 years ago
- A distributed operating system☆1,448Updated 2 years ago
- A collection of compiler, emulator and microkernel tools.☆251Updated 5 years ago
- A component-based OS☆189Updated 2 months ago
- Plan 9 History, from 2002-12-12 to 2015-01-10. A more complete version of this repository is available on https://github.com/plan9foundat…☆867Updated 3 years ago
- Vanadium OS☆111Updated 7 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- ☆182Updated 5 years ago
- A concurrent-focused message-based operating system.☆93Updated last month
- portable libc optimized for code size and readability☆82Updated 8 years ago
- OpenMach operating system☆89Updated 10 years ago
- A public domain implementation of the C11 standard library.☆167Updated 6 years ago
- This is a minimal x86 OS written in D with both 32 bit and 64 bit configurations. It's a good starting place for anyone doing D OS develo…☆39Updated 16 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆86Updated 7 years ago