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.
☆17May 13, 2026Updated 3 months ago
Alternatives and similar repositories for wg-lfscs
Users that are interested in wg-lfscs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ELISA Automotive Working Group☆18Jun 25, 2026Updated last month
- Simulated AUTOSAR OS runtime for Linux and Windows☆16Jul 12, 2022Updated 4 years ago
- Read only mirror for Hafnium☆26Updated this week
- ☆10Apr 8, 2022Updated 4 years ago
- Linux Security Module Stacking☆10Apr 25, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Making me more antisocial and weird.☆10Oct 6, 2020Updated 5 years ago
- software skia for resource-constrained devices☆13Mar 3, 2016Updated 10 years ago
- The cyclictest latency benchmark, modified to run on LITMUS^RT.☆36Oct 24, 2013Updated 12 years ago
- An NVIDIA CLI tool written in native Rust. 🦀☆13Sep 25, 2024Updated last year
- CSAW 2017 Embedded Security Challenge☆12Jun 7, 2018Updated 8 years ago
- Generate minimal and customized core dump files on Linux.☆56May 20, 2026Updated 2 months ago
- ☆17Aug 28, 2022Updated 3 years ago
- View the dependencies of your repositories.☆11Nov 8, 2022Updated 3 years ago
- core utilities☆11Oct 20, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Autocomplete for nash shell (in nash script)☆11Nov 10, 2020Updated 5 years ago
- Comic nerds songs! \m/☆15Oct 31, 2018Updated 7 years ago
- A sample kernel module showing the memory reordering.☆13May 30, 2020Updated 6 years ago
- Make systemd's PID 1 in WSL☆12Jun 26, 2020Updated 6 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- Random test code☆20Jun 26, 2025Updated last year
- Main goal of project is to reduce probability of key leaking from device. CKM stores symmetric and asymmetric keys and provides crypto op…☆16Jan 15, 2016Updated 10 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Profile coverage of functional tests without instrumenting your binaries.☆21Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Library to access information about PE binary.☆18Oct 2, 2013Updated 12 years ago
- OverC + cubes distribution layer☆17Mar 25, 2022Updated 4 years ago
- Single-wire CAN library powered by https://github.com/macchina/mcp2515☆13Feb 5, 2019Updated 7 years ago
- Library for AMD SEV☆20Apr 1, 2022Updated 4 years ago
- LSM BPF module to block pwnkit (CVE-2021-4034) like exploits☆21Feb 17, 2022Updated 4 years ago
- Hardware performance counter tool for Windows OS☆18Sep 4, 2018Updated 7 years ago
- canbus receive and send program based on can-utils☆16Mar 14, 2018Updated 8 years ago
- Simple command line to get directory information☆14Jul 25, 2026Updated 2 weeks ago
- Software Quality Management Tool☆58Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Graph the dependencies of your repositories☆18Jan 16, 2019Updated 7 years ago
- ☆18Nov 17, 2020Updated 5 years ago
- 7️⃣ systemd source-git for RHEL7☆11Jul 11, 2025Updated last year
- ☆15Jan 25, 2018Updated 8 years ago
- Fork of https://sourceforge.net/projects/tceetree/☆16Aug 3, 2017Updated 9 years ago
- DSP framework, DSP wrapper and Unit tests for HiFi4 on i.MX platforms☆20Jun 18, 2026Updated last month
- "Deep Packet Inspection as a Service" (CoNEXT '14)☆16Mar 30, 2017Updated 9 years ago