elisa-tech / wg-lfscsLinks
Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification.
☆11Updated 3 weeks ago
Alternatives and similar repositories for wg-lfscs
Users that are interested in wg-lfscs are comparing it to the libraries listed below
Sorting:
- Jailhouse demonstration and testing images☆64Updated last year
- Repository to store the code developed in the context of the Safety Architecture WG☆19Updated last year
- FreeOSEK (submodule of https://github.com/ciaa/Firmware)☆19Updated 2 years ago
- ☆48Updated this week
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆40Updated last month
- Read only mirror for Hafnium☆18Updated last week
- ☆15Updated last month
- Kernel tree for ACRN☆97Updated last month
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago
- Real-Time Programming using QNX 7.0 - Neutrino RTOS☆11Updated 7 years ago
- arm-trusted-firmware☆25Updated last month
- Simple Embedded ARM Linux System☆74Updated 8 months ago
- PFE Ethernet accelerator☆13Updated 5 months ago
- The main L4Re manifest to checkout the L4Re operating system.☆23Updated this week
- Collection of Linux tools for achieving real-time performance☆33Updated 2 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆81Updated 7 years ago
- OpenEmbedded/Yocto Layer for Arm☆21Updated this week
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆137Updated 2 months ago
- Clang C/C++ cross compiler and runtime for OpenEmbedded/Yocto Project☆189Updated 2 weeks ago
- Read-only mirror for Trusted Firmware-M☆30Updated this week
- i.MX Jaihouse Hypervisor☆14Updated 2 months ago
- Core KernelCI tools☆114Updated this week
- This Directory contains the tutorials posted in www.embetronicx.com☆239Updated 3 years ago
- FreeRTOS distro layer compatible with OpenEmbedded☆32Updated 11 months ago
- Linux device driver code base☆36Updated 3 years ago
- OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…☆285Updated last week
- Tool for loading firmware to M4 core on i.MX6SX and 7D☆22Updated 5 years ago
- Linux Kernel and Device Drivers☆31Updated 5 years ago
- OpenEmbedded/Yocto Project layer for for Microchip SoC (aka AT91)☆96Updated 2 months ago
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆328Updated 2 weeks ago