elisa-tech / wg-lfscs
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.
☆9Updated last week
Alternatives and similar repositories for wg-lfscs:
Users that are interested in wg-lfscs are comparing it to the libraries listed below
- Repository to store the code developed in the context of the Safety Architecture WG☆17Updated 4 months ago
- ☆15Updated 11 months ago
- Jailhouse demonstration and testing images☆59Updated last year
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- FreeRTOS for Jailhouse Cells☆49Updated 2 years ago
- Kernel coredump file access☆26Updated 2 months ago
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆24Updated 4 months ago
- Kernel tree for ACRN☆96Updated last month
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- Collection of Linux tools for achieving real-time performance☆33Updated last year
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆127Updated this week
- Linux UEFI Validation Distribution☆114Updated 4 years ago
- arm-trusted-firmware☆25Updated last month
- ☆38Updated last week
- Layer for static code analysis and security hardening☆95Updated last week
- Test definitions work with and without LAVA☆42Updated this week
- Prototype no-assurance reference OS personality built on seL4☆49Updated 2 weeks ago
- ☆14Updated 3 weeks ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- ☆57Updated 4 years ago
- Data race detector for Linux kernel modules☆29Updated 7 years ago
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆16Updated 3 weeks ago
- Read only mirror for Hafnium☆12Updated this week
- Embedded Base Boot Requirements Specification☆118Updated this week
- Core KernelCI tools☆112Updated this week
- ☆20Updated this week
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- Yocto/OE meta layer to add OpenAMP support to your BSP or distro☆51Updated 7 months ago