sgielen / cosix
A fully capability-based operating system
☆26Updated 5 years ago
Alternatives and similar repositories for cosix:
Users that are interested in cosix are comparing it to the libraries listed below
- quick c☆35Updated 3 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- ANSI POSIX Environment neXt for Harvey OS☆32Updated 5 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated last year
- A library that allows processes to waive their rights☆27Updated 9 years ago
- [WIP] A complex of daemons for FreeBSD implementing systemd/freedesktop D-Bus APIs required by desktop environments | now on https://code…☆12Updated 2 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 15 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- colorForth computing environment for amd64 and PowerPC Macs.☆22Updated 5 years ago
- An implementation of the hammer2 filesystem for Plan 9☆19Updated 6 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆32Updated last year
- tiny aarch64 baremetal OS thingy☆50Updated 6 years ago
- FPGA implementation of the Blit terminal☆12Updated 5 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- Peephole optimizer for cproc and QBE☆25Updated this week
- New spell(1) implementation for NetBSD☆9Updated 7 years ago
- Personal branch of git://c9x.me/qbe.git☆37Updated 3 years ago
- A simple ARM/x86(_64) static linker☆42Updated 2 years ago
- ☆23Updated 9 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆51Updated 2 years ago
- ☆21Updated 8 years ago
- message queue☆18Updated 3 years ago
- A kernel written in Rust☆42Updated 3 months ago
- Experiments in bootstrapping from bare-metal☆31Updated 3 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆46Updated 6 months ago
- Automatically exported from code.google.com/p/nix-os☆21Updated 3 months ago
- Ancient source code for Plan 9 VMware tools☆21Updated 3 years ago
- The world's worst text editor, if it can even be considered a text editor.☆16Updated 3 years ago
- Sparc emulator☆10Updated 6 years ago
- pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆32Updated this week