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 last month
Alternatives and similar repositories for wg-lfscs:
Users that are interested in wg-lfscs are comparing it to the libraries listed below
- ☆14Updated 8 months ago
- Repository to store the code developed in the context of the Safety Architecture WG☆17Updated 2 months ago
- Kernel coredump file access☆25Updated 2 weeks ago
- FreeRTOS for Jailhouse Cells☆48Updated last year
- Data race detector for Linux kernel modules☆28Updated 7 years ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- Program to read/write from/to any location in memory (from lartware)☆34Updated 3 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- Jailhouse demonstration and testing images☆59Updated 11 months ago
- Kernel module to track latencies between 2 events (punch in, punch out) with timeout☆59Updated last year
- Collection of scripts to analyse the Linux kernel☆10Updated 5 years ago
- ☆20Updated this week
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated 3 weeks ago
- Collection of Linux tools for achieving real-time performance☆33Updated last year
- Layer to integrate the ACRN hypervisor with the Yocto Project.☆22Updated 2 months ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆32Updated this week
- ☆35Updated this week
- Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.☆91Updated this week
- FreeRTOS distro layer compatible with OpenEmbedded☆29Updated last month
- Arm SystemReady☆58Updated last week
- Yocto layer with support for performance analysis tools: BPF, bcc, bpftrace☆15Updated 2 years ago
- arm-trusted-firmware☆25Updated last month
- The main L4Re manifest to checkout the L4Re operating system.☆19Updated last week
- ☆22Updated last year
- Core KernelCI tools☆109Updated this week
- Make Linux crash dump small by filtering and compressing pages☆49Updated last month
- Smack userspace☆41Updated last year
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆37Updated last month
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆11Updated 2 years ago
- This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…☆88Updated last month