kernkonzept / manifestLinks
The main L4Re manifest to checkout the L4Re operating system.
☆20Updated 2 months ago
Alternatives and similar repositories for manifest
Users that are interested in manifest are comparing it to the libraries listed below
Sorting:
- Virtual machine monitor for L4Re☆31Updated 2 weeks ago
- The core components of the L4Re operating system.☆87Updated 2 weeks ago
- The development version of the L4Re Microkernel☆132Updated 2 weeks ago
- FreeRTOS for Jailhouse Cells☆50Updated 2 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- arm-trusted-firmware☆25Updated 3 months ago
- sel4 benchmarking applications and support library.☆20Updated last week
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆12Updated last year
- Prototype no-assurance reference OS personality built on seL4☆50Updated 2 months ago
- Repository to store the code developed in the context of the Safety Architecture WG☆17Updated 7 months ago
- aarch64 bare metal test on qemu☆99Updated 10 years ago
- Embedded Base Boot Requirements Specification☆118Updated 2 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated last week
- ☆41Updated last week
- Community site for microkernel projects.☆29Updated 2 months ago
- Codezero Microkernel☆108Updated 3 years ago
- Basic tools for building seL4 projects☆48Updated this week
- An experimental virtual machine monitor for the seL4 microkernel☆40Updated this week
- Test suite for seL4.☆27Updated this week
- memtool is a program that allows to access memory mapped registers.☆27Updated 3 years ago
- The Quest Operating System☆50Updated 6 months ago
- ☆17Updated 2 months ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- LLVM Compiler Infrastructure with TriCore backend☆30Updated last year
- U-Boot tree for Boundary Devices platforms☆88Updated this week
- POK kernel. Safe and secure for safety-critical systems.☆102Updated 2 weeks ago
- Tutorials for working with seL4 and/or CAmkES.☆55Updated last month
- Virtual Machine built as a CAmkES component.☆23Updated 2 months ago
- XtratuM Mirror☆16Updated 8 years ago
- utility for debugging Linux UIO ("Userspace I/O") devices☆13Updated 11 years ago