kernkonzept / manifestLinks
The main L4Re manifest to checkout the L4Re operating system.
☆20Updated last 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☆31Updated last week
- The development version of the L4Re Microkernel☆132Updated last week
- ☆42Updated this week
- FreeRTOS for Jailhouse Cells☆51Updated 2 years ago
- PFE Ethernet accelerator☆13Updated 3 weeks ago
- Tool for loading firmware to M4 core on i.MX6SX and 7D☆21Updated 4 years ago
- The core components of the L4Re operating system.☆89Updated last week
- Test suite for seL4.☆28Updated 3 weeks ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- sel4 benchmarking applications and support library.☆20Updated 3 weeks ago
- Yocto/OE meta layer to add OpenAMP support to your BSP or distro☆51Updated 10 months ago
- ☆17Updated last year
- Coordination between ELISA working groups, and repository for documentation based deliverables.☆59Updated 5 months ago
- LLVM Compiler Infrastructure with TriCore backend☆30Updated last year
- The Rumprun unikernel and toolchain for various platforms☆11Updated 11 months ago
- Embedded Base Boot Requirements Specification☆117Updated 3 months ago
- A port of FreeRTOS to the ARM 929EJ-S Versatile Platform Baseboard☆92Updated last year
- Linux kernel module to implement QNX message passing interface☆15Updated 10 years ago
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆40Updated 3 weeks ago
- Jailhouse demonstration and testing images☆61Updated last year
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆24Updated last month
- Resource Policy☆18Updated 2 years ago
- arm-trusted-firmware☆25Updated 3 weeks ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- Message oriented middleware designed for embedded systems in the automotive industry.☆39Updated 6 years ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆12Updated last year
- DTS files☆35Updated 4 years ago
- Collection of Linux tools for achieving real-time performance☆33Updated 2 years ago
- ☆59Updated last week
- THIS REPOSITORY IS ARCHIVED i.e. please fork the project if you wish to develop it further☆35Updated 3 years ago