seL4 / capdlLinks
Capability Distribution Language tools for seL4
☆37Updated 3 months ago
Alternatives and similar repositories for capdl
Users that are interested in capdl are comparing it to the libraries listed below
Sorting:
- sel4 benchmarking applications and support library.☆20Updated last month
- Apps for running with the rumprun unikernel on seL4.☆33Updated this week
- seL4 Device Driver Framework☆23Updated last year
- Collection of community-maintained components for Genode☆47Updated last week
- A minimal runtime for seL4 applications.☆14Updated 3 months ago
- Component Architecture test suite and example apps.☆29Updated last week
- ALLVM Tools☆56Updated 3 years ago
- Official mirror of the Muen Separation Kernel repository☆87Updated this week
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆54Updated 2 years ago
- Kansas Lava☆48Updated 5 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆28Updated last year
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆34Updated this week
- Coq library for verified low-level programming☆60Updated 8 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 weeks ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆45Updated 3 weeks ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated last month
- Coq plugin for monomorphization and C code generation☆34Updated last month
- The Cubicle model checker☆14Updated last year
- Prototype no-assurance reference OS personality built on seL4☆50Updated 3 months ago
- Test suite for seL4.☆28Updated this week
- Experiment on how to bootstrap the OCaml compiler☆107Updated 3 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆58Updated 4 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- ☆27Updated 2 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- ☆56Updated 8 years ago
- My PhD Thesis☆13Updated 3 years ago
- For parts of https://www.ats-lang.org☆27Updated last week