seL4 / refos
Prototype no-assurance reference OS personality built on seL4
☆49Updated this week
Alternatives and similar repositories for refos:
Users that are interested in refos are comparing it to the libraries listed below
- Basic tools for building seL4 projects☆46Updated this week
- The Rumprun unikernel and toolchain for various platforms☆10Updated 8 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated this week
- Tutorials for working with seL4 and/or CAmkES.☆53Updated this week
- sel4 benchmarking applications and support library.☆20Updated this week
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- Virtual Machine built as a CAmkES component.☆23Updated this week
- seL4 Device Driver Framework☆23Updated last year
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Capability Distribution Language tools for seL4☆35Updated this week
- Apps for running with the rumprun unikernel on seL4.☆32Updated this week
- ☆59Updated this week
- Virtio draft specification☆65Updated 11 years ago
- Advanced Operating Systems project☆20Updated 6 months ago
- Collection of community-maintained components for Genode☆46Updated 2 weeks ago
- NOVA userland☆48Updated 11 years ago
- Codezero Microkernel☆107Updated 3 years ago
- The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…☆71Updated last year
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- Virtual machine monitor for L4Re☆29Updated this week
- ☆15Updated this week
- Ninja build file generator for the Linux kernel☆55Updated 4 years ago
- L4Ka::Pistachio micro-kernel☆276Updated 5 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Updated 11 years ago
- ☆8Updated this week
- Component Architecture test suite and example apps.☆27Updated this week
- ☆26Updated 2 weeks ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 10 years ago
- Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git☆63Updated 4 years ago