kernkonzept / manifestLinks
The main L4Re manifest to checkout the L4Re operating system.
☆23Updated this week
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☆33Updated 3 weeks ago
- ☆49Updated last week
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago
- Jailhouse demonstration and testing images☆64Updated last year
- Test suite for seL4.☆29Updated last month
- XtratuM Mirror☆21Updated 8 years ago
- Example code for tracing IRQs in Linux kernel☆12Updated 9 years ago
- Embedded Base Boot Requirements Specification☆123Updated last week
- POK kernel. Safe and secure for safety-critical systems.☆114Updated last month
- Clang C/C++ cross compiler and runtime for OpenEmbedded/Yocto Project☆190Updated this week
- arm-trusted-firmware☆26Updated 3 weeks ago
- Codezero Microkernel☆111Updated 4 years ago
- bare metal ARM examples to be run with qemu-system-arm☆77Updated 6 years ago
- SiFive OpenEmbedded / Yocto BSP Layer☆54Updated this week
- The development version of the L4Re Microkernel☆153Updated this week
- Prototype no-assurance reference OS personality built on seL4☆50Updated 9 months ago
- aarch64 bare metal test on qemu☆109Updated 10 years ago
- Tom Rini's U-Boot trees☆52Updated this week
- LLVM Compiler Infrastructure with TriCore backend☆32Updated 2 years ago
- The core components of the L4Re operating system.☆99Updated this week
- This repository is no longer maintained and will be archived, please see https://github.com/linux4microchip/meta-mchp☆58Updated 5 months ago
- sel4 benchmarking applications and support library.☆19Updated 3 weeks ago
- ☆17Updated last month
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- Basic tools for building seL4 projects☆52Updated last month
- ARM Enterprise: SBSA Architecture Compliance Suite☆92Updated 4 months ago
- Standalone kconfig and kbuild☆64Updated 8 months ago
- libelf☆83Updated 8 years ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆14Updated 3 months ago
- Virtual Machine built as a CAmkES component.☆24Updated 4 months ago