kernkonzept / manifestLinks
The main L4Re manifest to checkout the L4Re operating system.
☆21Updated 2 weeks 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
- bare metal ARM examples to be run with qemu-system-arm☆75Updated 6 years ago
- LLVM Compiler Infrastructure with TriCore backend☆31Updated 2 years ago
- The development version of the L4Re Microkernel☆140Updated 2 weeks ago
- aarch64 bare metal test on qemu☆108Updated 10 years ago
- The core components of the L4Re operating system.☆92Updated 2 weeks ago
- ☆45Updated last week
- ☆110Updated 6 years ago
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago
- Kernel tree for ACRN☆97Updated 6 months ago
- mirror of git://git.code.sf.net/p/monartis/openqnx☆268Updated 9 years ago
- The eChronos real-time operating system☆174Updated 5 years ago
- Jailhouse demonstration and testing images☆62Updated last year
- Prototype no-assurance reference OS personality built on seL4☆50Updated 5 months ago
- Codezero Microkernel☆111Updated 3 years ago
- A port of FreeRTOS to the ARM 929EJ-S Versatile Platform Baseboard☆92Updated last year
- POK kernel. Safe and secure for safety-critical systems.☆104Updated 3 weeks ago
- RISC-V port of newlib☆100Updated 3 years ago
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆270Updated 3 weeks ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆13Updated last year
- Clang C/C++ cross compiler and runtime for OpenEmbedded/Yocto Project☆187Updated 2 weeks ago
- arm-trusted-firmware☆25Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- ☆17Updated 2 weeks ago
- Device Tree Compiler☆289Updated last week
- Test suite for seL4.☆28Updated 3 weeks ago
- XtratuM Mirror☆18Updated 8 years ago
- sel4 benchmarking applications and support library.☆19Updated 2 weeks ago
- Embedded Base Boot Requirements Specification☆120Updated last week
- SiFive OpenEmbedded / Yocto BSP Layer☆53Updated last month