sgielen / cosixLinks
A fully capability-based operating system
☆27Updated 6 years ago
Alternatives and similar repositories for cosix
Users that are interested in cosix are comparing it to the libraries listed below
Sorting:
- quick c☆35Updated 3 years ago
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- A library that allows processes to waive their rights☆27Updated 9 years ago
- ☆23Updated 9 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆46Updated last year
- The PLAtform NEutral Transpiler☆117Updated last week
- Richard's compiler bootstrap experiment☆46Updated 2 years ago
- A simple ARM/x86(_64) static linker☆45Updated 2 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆33Updated last year
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- ☆57Updated 4 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 10 months ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆31Updated 2 months ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Collection of community-maintained components for Genode☆47Updated last week
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- ANSI POSIX Environment neXt for Harvey OS☆33Updated 5 years ago
- Eltanin system programming library☆17Updated 6 months ago
- The world's worst text editor, if it can even be considered a text editor.☆16Updated 4 years ago
- My minimal init of ewontfix fame☆36Updated 5 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Updated last year
- A simple syscall tracer☆17Updated 11 months ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- Personal branch of git://c9x.me/qbe.git☆36Updated 3 years ago
- A Linux system which is just barely capable of building itself.☆122Updated 5 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago