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:
- Pure64 is a kernel/software loader for x86-64 systems.☆574Updated this week
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆199Updated 2 months ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- L4Ka::Pistachio micro-kernel☆291Updated 6 years ago
- Portable, efficient, safe execution of untrusted x86 code☆126Updated 3 years ago
- UC Berkeley release of Plan 9 under the GPLv2☆678Updated 5 years ago
- The NewOS Operating System☆222Updated 9 years ago
- Modular kernel built for simplicity☆93Updated 8 years ago
- adams and eriks nix☆118Updated 8 years ago
- A collection of compiler, emulator and microkernel tools.☆256Updated 5 years ago
- Acess2 Hobby Operating System☆88Updated last year
- Operating System☆134Updated 3 years ago
- 64bit port of xv6☆136Updated 6 years ago
- portable libc optimized for code size and readability☆81Updated 9 years ago
- Pedigree operating system☆93Updated 9 years ago
- NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.☆68Updated 7 years ago
- Jehanne Operating System☆290Updated 3 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 11 months ago
- Pthreads-free Linux threading demo☆159Updated 6 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- A concurrent-focused message-based operating system.☆94Updated this week
- A component-based OS☆191Updated 8 months ago
- Ulix, the Literate Unix☆178Updated 9 years ago
- A public domain implementation of the C11 standard library.☆169Updated 6 years ago
- an experimental 64-bit operating system☆137Updated 10 months ago
- A 64-bit SMP-safe kernel for the PC architecture.☆88Updated 7 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…☆40Updated 16 years ago
- A hobby operating system. Everyone's gotta have one.☆49Updated 14 years ago
- Variant of 4.4BSD Unix for microcontrollers☆321Updated 9 months ago
- A tiny x86 compiler with ELF and PE target☆182Updated last year