ibm-research / fusedosLinks
☆52Updated 10 years ago
Alternatives and similar repositories for fusedos
Users that are interested in fusedos are comparing it to the libraries listed below
Sorting:
- NOVA userland☆48Updated 11 years ago
- The Akaros operating system☆41Updated 4 years ago
- BSD-licensed CTF Implementation☆19Updated 9 years ago
- K42 Kernel☆28Updated 13 years ago
- Kitten Lightweight Kernel☆54Updated 2 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- Virtio draft specification☆65Updated 12 years ago
- The No-Order File System (NoFS)☆47Updated 12 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆81Updated 2 years ago
- ☆138Updated 3 months ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 8 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆54Updated 2 years ago
- Many Threads Operating System☆18Updated 3 years ago
- A Tree Parser Generator☆99Updated 9 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- UEFI boot loader☆80Updated 2 years ago
- My coreboot work☆23Updated 14 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- Binary tools: assembler, disassembler, linker, library manager, emulator☆61Updated 5 months ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 12 years ago
- Ananas Operating System☆57Updated 3 years ago
- asmutils is a set of miscellaneous unix utilities written in assembly language☆78Updated 16 years ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago
- ☆34Updated 2 years ago
- File System Access Utilities in Userland☆77Updated 9 years ago
- The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…☆70Updated 2 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- cmips☆56Updated 10 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago