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.
☆50Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for capros
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆36Updated last year
- Fork of LLVM adding CHERI support☆49Updated this week
- K42 Kernel☆24Updated 12 years ago
- Collection of community-maintained components for Genode☆45Updated this week
- Portable high-level assembler with authentic C syntax☆22Updated 2 years ago
- Capability Distribution Language tools for seL4☆35Updated 4 months ago
- Bootstrapping tools for Janneke's MES☆30Updated last month
- Official mirror of the Muen Separation Kernel repository☆80Updated this week
- Tiny visual 8086 emulator based on Blink☆64Updated 5 months ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆169Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆93Updated last week
- Source for the Multics operating system☆106Updated 3 years ago
- The PLAtform NEutral Transpiler☆102Updated 3 weeks ago
- Microkit - A simple operating system framework for the seL4 microkernel☆87Updated 3 weeks ago
- nightly synced mirror☆54Updated this week
- A more standards compliant C library written in M2-Planet's C subset☆18Updated last month
- view based o.s.☆32Updated this week
- Component Architecture test suite and example apps.☆27Updated 4 months ago
- A programmable virtual CPU written in untyped lambda calculus☆47Updated 2 years ago
- The Mickey Mouse of dynamic linkers☆14Updated last week
- [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
- ALLVM Tools☆55Updated 2 years ago
- Reference manual for the Genode OS Framework☆23Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated last year
- The core components of the L4Re operating system.☆76Updated 2 weeks ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆86Updated 4 years ago
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- QEMU with support for CHERI☆54Updated 2 weeks ago