seL4 / camkes-vm
Virtual Machine built as a CAmkES component.
☆23Updated last week
Alternatives and similar repositories for camkes-vm:
Users that are interested in camkes-vm are comparing it to the libraries listed below
- Basic tools for building seL4 projects☆46Updated last week
- ☆15Updated last week
- sel4 benchmarking applications and support library.☆20Updated last week
- Tutorials for working with seL4 and/or CAmkES.☆53Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated last week
- NOVA userland☆48Updated 11 years ago
- Virtual machine monitor for L4Re☆30Updated this week
- Test suite for seL4.☆25Updated last week
- Component Architecture test suite and example apps.☆27Updated last week
- Prototype no-assurance reference OS personality built on seL4☆49Updated last week
- Advanced Operating Systems project☆20Updated 6 months ago
- QEMU with support for CHERI☆58Updated last week
- An experimental virtual machine monitor for the seL4 microkernel☆35Updated this week
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated last year
- seL4 Device Driver Framework☆23Updated last year
- The BERI and CHERI processor and hardware platform☆50Updated 7 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- ☆8Updated this week
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 3 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- MDX — A BSD-style RTOS☆26Updated last month
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- The Rumprun unikernel and toolchain for various platforms☆10Updated 8 months ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆115Updated 5 years ago
- ☆59Updated last week
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆21Updated this week
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆29Updated 3 weeks ago