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 2 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☆59Updated last year
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated 3 weeks ago
- Repository to store the code developed in the context of the Safety Architecture WG☆17Updated 6 months ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- ☆15Updated last year
- Data race detector for Linux kernel modules☆30Updated 7 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- Kernel tree for ACRN☆97Updated 2 months ago
- ☆41Updated this week
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆24Updated last week
- Make Linux crash dump small by filtering and compressing pages☆52Updated 3 weeks ago
- Hypervisor for Automotive Control Systems☆8Updated 4 months ago
- FreeRTOS distro layer compatible with OpenEmbedded☆29Updated 5 months ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆128Updated last month
- FreeRTOS for Jailhouse Cells☆50Updated 2 years ago
- Core KernelCI tools☆112Updated this week
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- Linux UEFI Validation Distribution☆115Updated 4 years ago
- A network interface for GDB for Linux Kernel☆68Updated last year
- ☆14Updated 2 months ago
- Example code for tracing IRQs in Linux kernel☆12Updated 8 years ago
- Linux KVM RISC-V repo☆57Updated this week
- Test definitions work with and without LAVA☆41Updated last week
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- Collection of Linux tools for achieving real-time performance☆33Updated last year
- Embedded Base Boot Requirements Specification☆118Updated last month
- ☆22Updated last year