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 3 weeks ago
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 5 months ago
- ☆15Updated last year
- FreeRTOS for Jailhouse Cells☆49Updated 2 years ago
- Jailhouse demonstration and testing images☆59Updated last year
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- Test definitions work with and without LAVA☆41Updated this week
- Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace☆16Updated 2 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- ☆17Updated 3 weeks ago
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆24Updated 2 weeks ago
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆39Updated 4 months ago
- arm-trusted-firmware☆25Updated 2 months ago
- Data race detector for Linux kernel modules☆29Updated 7 years ago
- ☆16Updated 11 months ago
- ☆22Updated last year
- XtratuM Mirror☆15Updated 8 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated last week
- ☆9Updated last month
- ☆38Updated last week
- RT-Hypervisor: A real-time hypervisor for automotive embedded system☆12Updated 2 years ago
- Hypervisor for Automotive Control Systems☆8Updated 3 months ago
- Embedded Base Boot Requirements Specification☆118Updated last month
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆54Updated 8 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- Collection of Linux tools for achieving real-time performance☆33Updated last year
- Random test code☆18Updated 8 months ago
- Yocto/OE metadata for the external sourcery g++ toolchain☆26Updated last year
- LLVM Compiler Infrastructure with TriCore backend☆30Updated last year
- Library for interaction with and instrumentation of remote devices.☆46Updated this week