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
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆137Updated 3 months ago
- ☆15Updated 2 months ago
- Repository to store the code developed in the context of the Safety Architecture WG☆19Updated last year
- Simple Embedded ARM Linux System☆75Updated 9 months ago
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago
- ☆48Updated last week
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- Kernel tree for ACRN☆97Updated 2 months ago
- OpenEmbedded/Yocto Layer for Arm☆21Updated this week
- Clang C/C++ cross compiler and runtime for OpenEmbedded/Yocto Project☆189Updated last week
- i.MX Jaihouse Hypervisor☆14Updated last week
- Collection of scripts to analyse the Linux kernel☆10Updated 6 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…☆289Updated last week
- Tests for verifying implementations of TBSA-v8M and the PSA Certified APIs☆71Updated 2 weeks ago
- arm-trusted-firmware☆26Updated 2 months ago
- ☆66Updated 2 weeks ago
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆58Updated 9 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated 3 months ago
- This Directory contains the tutorials posted in www.embetronicx.com☆240Updated 3 years ago
- ☆24Updated last week
- The main L4Re manifest to checkout the L4Re operating system.☆23Updated last month
- This is a simple CLI interface helper library for C.☆52Updated 4 months ago
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆41Updated 3 weeks ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆82Updated 7 years ago
- Low-level debug tools for MDIO devices.☆88Updated 2 months ago
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆26Updated 4 months ago
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆22Updated this week
- FreeOSEK (submodule of https://github.com/ciaa/Firmware)☆19Updated 2 years ago
- Tom Rini's U-Boot trees☆52Updated last week