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
Related projects ⓘ
Alternatives and complementary repositories for wg-lfscs
- Data race detector for Linux kernel modules☆28Updated 7 years ago
- OverC + cubes distribution layer☆14Updated 2 years ago
- Jailhouse demonstration and testing images☆57Updated 9 months ago
- Kernel module to track latencies between 2 events (punch in, punch out) with timeout☆58Updated last year
- Linux UEFI Validation Distribution☆114Updated 3 years ago
- a theoretically sound real-time scheduling latency measurement tool☆32Updated 3 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆79Updated 6 years ago
- Repository to store the code developed in the context of the Safety Architecture WG☆16Updated 3 weeks ago
- ☆14Updated last year
- Core KernelCI tools☆107Updated this week
- Library for interaction with and instrumentation of remote devices.☆46Updated last month
- Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace☆15Updated 2 years ago
- ☆21Updated last year
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆125Updated 4 months ago
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆49Updated 6 months ago
- Kernel coredump file access☆23Updated this week
- NIPA clone☆13Updated 2 weeks ago
- This git contains the official documentation for the OP-TEE project☆58Updated last week
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆22Updated 2 weeks ago
- Test suite☆80Updated last week
- ☆12Updated 7 months ago
- Layer for static code analysis and security hardening☆91Updated this week
- CoreSight trace stream decoder developed openly☆143Updated last month
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- Cryptodev-linux is a Linux-kernel device that allows user-space access to hardware cryptographic accelerators.☆155Updated last month
- Make Linux crash dump small by filtering and compressing pages☆48Updated last month
- ☆16Updated 2 years ago
- Kernel tree for ACRN☆94Updated 3 months ago