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 this 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 3 months ago
- FreeRTOS distro layer compatible with OpenEmbedded☆29Updated 2 months ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- Jailhouse demonstration and testing images☆59Updated last year
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- Yocto/OE metadata for the external sourcery g++ toolchain☆27Updated last year
- Library for interaction with and instrumentation of remote devices.☆47Updated last week
- ☆22Updated last year
- Data race detector for Linux kernel modules☆28Updated 7 years ago
- ☆14Updated 9 months ago
- ☆10Updated last year
- ☆37Updated this week
- Kernel coredump file access☆26Updated last month
- The main L4Re manifest to checkout the L4Re operating system.☆19Updated last month
- Tests for verifying implementations of TBSA-v8M and the PSA Certified APIs☆68Updated 2 weeks ago
- Tool for loading firmware to M4 core on i.MX6SX and 7D☆20Updated 4 years ago
- Generate minimal and customized core dump files on Linux.☆45Updated last year
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- Core KernelCI tools☆111Updated this week
- FreeRTOS for Jailhouse Cells☆49Updated last year
- Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace☆15Updated 2 years ago
- Valgrind with support for the RISCV64/Linux platform.☆62Updated 6 months ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆126Updated 7 months ago
- OverC + cubes distribution layer☆16Updated 2 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated 3 weeks ago
- Test definitions work with and without LAVA☆42Updated this week
- OpenEmbedded/Yocto Project BSP layer for Qualcomm based platforms☆74Updated this week
- C++ Uptane Client☆21Updated last week