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
Related projects: ⓘ
- Repository to store the code developed in the context of the Safety Architecture WG☆15Updated 2 weeks ago
- a theoretically sound real-time scheduling latency measurement tool☆31Updated 3 years ago
- ☆16Updated this week
- FreeRTOS for Jailhouse Cells☆47Updated last year
- Program to read/write from/to any location in memory (from lartware)☆32Updated 2 years ago
- Data race detector for Linux kernel modules☆28Updated 7 years ago
- Jailhouse demonstration and testing images☆57Updated 7 months ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- ☆12Updated 4 months ago
- Kernel coredump file access☆23Updated 3 months ago
- A tool for integrating Git with Patchwork, the web-based patch tracking system☆33Updated 4 months ago
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆31Updated this week
- ☆12Updated 11 months ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆10Updated last year
- ☆31Updated last week
- This is a simple CLI interface helper library for C.☆45Updated last year
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 7 years ago
- Smack userspace☆41Updated last year
- Collection of Linux tools for achieving real-time performance☆32Updated last year
- Kernel module to track latencies between 2 events (punch in, punch out) with timeout☆59Updated 10 months ago
- Embedded Base Boot Requirements Specification☆113Updated 3 weeks ago
- Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace☆15Updated 2 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆76Updated 6 years ago
- Linux UEFI Validation Distribution☆113Updated 3 years ago
- NIPA clone☆13Updated 2 weeks ago
- OverC + cubes distribution layer☆13Updated 2 years ago
- arm-trusted-firmware☆25Updated 10 months ago
- Tool for loading firmware to M4 core on i.MX6SX and 7D☆19Updated 3 years ago
- Kernel tree for ACRN☆91Updated last month