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
- K42 Kernel☆27Updated 12 years ago
- view based o.s.☆40Updated 3 weeks ago
- Collection of community-maintained components for Genode☆46Updated last week
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- Aurora Single Level Store☆30Updated last year
- A L4-like micro-kernel OS written in Rust☆62Updated last year
- ☆54Updated 8 years ago
- Official mirror of the Muen Separation Kernel repository☆85Updated this week
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- A more standards compliant C library written in M2-Planet's C subset☆20Updated this week
- 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
- Community site for microkernel projects.☆28Updated last month
- nightly synced mirror☆66Updated this week
- Bootstrapping tools for Janneke's MES☆34Updated 3 weeks ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Component Architecture test suite and example apps.☆28Updated last month
- Capability Distribution Language tools for seL4☆35Updated last month
- C programming language extension: Cedro pre-processor☆49Updated 2 years ago
- The core components of the L4Re operating system.☆85Updated 2 weeks ago
- Microkit - A simple operating system framework for the seL4 microkernel☆114Updated last week
- Plan 9 in Rust☆75Updated 6 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 2 weeks ago
- Cyclone Language Compiler fixes to build on recent operating systems☆10Updated 2 years ago
- softcore for ForwardCom☆20Updated 2 years ago
- Reference manual for the Genode OS Framework☆24Updated last month
- Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…☆23Updated 15 years ago
- Source code of the KeyKOS operating system☆16Updated 6 years ago
- The development version of the L4Re Microkernel☆119Updated this week
- RTOS based on L4 microkernel.☆17Updated 6 years ago