kernkonzept / manifest
The main L4Re manifest to checkout the L4Re operating system.
☆19Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for manifest
- The core components of the L4Re operating system.☆75Updated last week
- FreeRTOS for Jailhouse Cells☆48Updated last year
- The development version of the L4Re Microkernel☆105Updated last week
- Virtual machine monitor for L4Re☆28Updated last week
- Embedded Base Boot Requirements Specification☆114Updated 2 weeks ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆78Updated 6 years ago
- Test suite for seL4.☆25Updated 3 months ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆45Updated 5 years ago
- bare metal ARM examples to be run with qemu-system-arm☆66Updated 5 years ago
- Tutorials for working with seL4 and/or CAmkES.☆52Updated last month
- Kernel tree for ACRN☆93Updated 3 months ago
- Basic tools for building seL4 projects☆43Updated 2 months ago
- ☆33Updated this week
- ☆13Updated 6 months ago
- Device trees used by QEMU to describe the hardware☆43Updated this week
- aarch64 bare metal test on qemu☆92Updated 9 years ago
- arm-trusted-firmware☆25Updated last week
- Linux UEFI Validation Distribution☆114Updated 3 years ago
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆30Updated last year
- A port of FreeRTOS to the ARM 929EJ-S Versatile Platform Baseboard☆91Updated last year
- Yocto/OE meta layer to add OpenAMP support to your BSP or distro☆51Updated 2 months ago
- ☆16Updated 4 months ago
- Arm SystemReady☆54Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆86Updated last week
- Codezero Microkernel☆105Updated 2 years ago
- Repository to store the code developed in the context of the Safety Architecture WG☆15Updated this week
- Xvisor: eXtensible Versatile hypervISOR☆88Updated 3 months ago
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆34Updated last month
- ☆95Updated 5 years ago