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.
☆11Updated 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:
- Jailhouse demonstration and testing images☆64Updated last year
- ☆15Updated 3 months ago
- Collection of Linux tools for achieving real-time performance☆33Updated 2 years ago
- OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…☆292Updated last month
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆138Updated 4 months ago
- Kernel tree for ACRN☆97Updated 3 months ago
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago
- arm-trusted-firmware☆26Updated last month
- Core KernelCI tools☆116Updated this week
- ☆10Updated 2 years ago
- ☆49Updated last week
- Repository to store the code developed in the context of the Safety Architecture WG☆19Updated last year
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- Read only mirror for Hafnium☆18Updated this week
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆83Updated 7 years ago
- ☆32Updated 2 years ago
- ☆45Updated this week
- Simple Embedded ARM Linux System☆76Updated 10 months ago
- This Directory contains the tutorials posted in www.embetronicx.com☆241Updated 3 years ago
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆52Updated last week
- This is a simple CLI interface helper library for C.☆53Updated 4 months ago
- Linux Kernel Crypto API User Space Interface Library☆186Updated 11 months ago
- Tests for verifying implementations of TBSA-v8M and the PSA Certified APIs☆73Updated last week
- ARM Enterprise: SBSA Architecture Compliance Suite☆92Updated 4 months ago
- This git contains the official documentation for the OP-TEE project☆68Updated 3 weeks ago
- OpenEmbedded/Yocto Layer for Arm☆21Updated this week
- A utility for decoding aarch64 ESR register values.☆102Updated last week
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆40Updated 5 years ago
- Collection of scripts to analyse the Linux kernel☆10Updated 6 years ago
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆56Updated 8 years ago