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.
☆9Updated 2 months ago
Alternatives and similar repositories for wg-lfscs
Users that are interested in wg-lfscs are comparing it to the libraries listed below
Sorting:
- Repository to store the code developed in the context of the Safety Architecture WG☆18Updated 7 months ago
- ☆15Updated last year
- Data race detector for Linux kernel modules☆30Updated 7 years ago
- Kernel coredump file access☆29Updated 6 months ago
- FreeRTOS for Jailhouse Cells☆52Updated 2 years ago
- ☆42Updated last week
- Collection of Linux tools for achieving real-time performance☆33Updated 2 years ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆24Updated last month
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- Core KernelCI tools☆114Updated this week
- Kernel tree for ACRN☆97Updated 4 months ago
- List recipes from BitBake's task-depends.dot and the dependencies between these recipes☆23Updated 3 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated 2 weeks ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated last month
- Linux kernel module for triggering a System Management Interrupt (SMI)☆16Updated 7 years ago
- Tests for verifying implementations of TBSA-v8M and the PSA Certified APIs☆69Updated last month
- Test definitions work with and without LAVA☆41Updated this week
- ☆22Updated 2 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆11Updated 9 years ago
- Library for interaction with and instrumentation of remote devices.☆50Updated last month
- Generate minimal and customized core dump files on Linux.☆47Updated last year
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆131Updated 3 months ago
- This git contains the official documentation for the OP-TEE project☆63Updated this week
- Manifests to use OP-TEE on various platforms☆76Updated 2 weeks ago
- ☆24Updated last month
- Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace☆16Updated 3 years ago
- Kernel module to track latencies between 2 events (punch in, punch out) with timeout☆59Updated last year