capros-os / capros
CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel IA-32 and ARM9 architectures.
☆51Updated 2 years ago
Alternatives and similar repositories for capros:
Users that are interested in capros are comparing it to the libraries listed below
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Collection of community-maintained components for Genode☆46Updated this week
- K42 Kernel☆27Updated 12 years ago
- Aurora Single Level Store☆30Updated last year
- Source for the Multics operating system☆114Updated 3 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆58Updated 3 years ago
- Community site for microkernel projects.☆28Updated 2 months ago
- A L4-like micro-kernel OS written in Rust☆62Updated last year
- A fully capability-based operating system☆26Updated 5 years ago
- Official mirror of the Muen Separation Kernel repository☆85Updated this week
- Source code of the KeyKOS operating system☆17Updated 6 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 15 years ago
- Reference manual for the Genode OS Framework☆24Updated last week
- Peephole optimizer for cproc and QBE☆25Updated this week
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…☆23Updated 15 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆31Updated this week
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆179Updated this week
- The PLAtform NEutral Transpiler☆114Updated this week
- tiny aarch64 baremetal OS thingy☆50Updated 6 years ago
- Component Architecture test suite and example apps.☆28Updated last month
- 2.11BSD_X44. A 2.11BSD that implements 4.4BSD's (Lite 2) vm and vnodes☆49Updated this week
- Prototype no-assurance reference OS personality built on seL4☆50Updated last month
- Website for stories around the Genode operating system☆17Updated 2 months 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
- Plan 9 in Rust☆75Updated 7 months ago
- uefi bootloader and kernel for x64☆16Updated 3 months ago
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago