Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black and similars) based on the ARINC 653 Part 1 specification
☆18Aug 10, 2023Updated 2 years ago
Alternatives and similar repositories for ARINC653_ARMV7A_AM335X
Users that are interested in ARINC653_ARMV7A_AM335X are comparing it to the libraries listed below
Sorting:
- POK kernel. Safe and secure for safety-critical systems.☆114Jan 26, 2026Updated last month
- Real-Time Operating System (RTOS) for Xilinx Zynq-7000 Cortex-A9 (ARMv7-A) multi-core SoCs (ZedBoard, PicoZed, MicroZed and similars) bas…☆14Aug 10, 2023Updated 2 years ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆19Jan 13, 2017Updated 9 years ago
- ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.☆28Jun 25, 2023Updated 2 years ago
- FreeRTOS (include AWS related libraries) reference repository☆18Aug 21, 2025Updated 6 months ago
- A project repo to create and learn AUTOSAR stack☆18Dec 18, 2023Updated 2 years ago
- ☆18May 7, 2024Updated last year
- ARINC 653 POSIX based library☆32Feb 9, 2026Updated last month
- A C# library for reading and writing reqif documents☆31Feb 20, 2026Updated 2 weeks ago
- An Attendance System powered with QR code scanning system for replacing standard attendance systems in Colleges, Institutes and Companies…☆10Apr 16, 2022Updated 3 years ago
- ICC Examin colour profile, CGATS measurement, VRML gamut and ncl2 viewer☆10Oct 17, 2022Updated 3 years ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- 🎵 When AI tools vibe together on your PRs. Let CodeRabbit and Claude Code handle the repetitive feedback while you ship features. Built …☆12Nov 24, 2025Updated 3 months ago
- Knowledge sharing of AWS (Amazon Web Services) Cloud☆12Jun 7, 2021Updated 4 years ago
- General Use Timeseries Containers for Rust☆11Dec 31, 2020Updated 5 years ago
- Contextmap is an interactive developer portal powered by automated documentation.☆13Apr 24, 2024Updated last year
- Converter from Allegro to KiCad, and Allegro extract viewer☆13Feb 20, 2020Updated 6 years ago
- 📗 Documents of Linux ELF binary signature verification solution.☆11Nov 30, 2020Updated 5 years ago
- A Rust crate to write toy distributed systems with Maelstrom as Actors.☆11Jan 23, 2022Updated 4 years ago
- An advanced crypto library for Rust providing implementations for DKG and distributed signature, partial porting of DEDIS kyber library☆12Jun 23, 2023Updated 2 years ago
- Clustering and Link Prediction Evaluation in R☆14Sep 23, 2023Updated 2 years ago
- pixels-to-cloud is a photo-editor app that aims to inspire developers to create high-performance, scalable, distributed systems.☆10Jul 9, 2024Updated last year
- Open Avionics Architecture Model☆11Sep 15, 2021Updated 4 years ago
- [ACL 2025] NeuSym-RAG: Hybrid Neural Symbolic Retrieval with Multiview Structuring for PDF Question Answering☆22Jul 29, 2025Updated 7 months ago
- Source code for Multi-resolution Common Fate Transform.☆12Jun 5, 2020Updated 5 years ago
- lwIP DNAT support☆15Mar 13, 2025Updated 11 months ago
- A simple, fast, deeply embeddable memory management system (malloc, free). Fast, light. < 1K byte heaps possible.☆11Dec 12, 2017Updated 8 years ago
- A simple c library for transmitting and recieving in the 433mhz band.☆12Feb 21, 2020Updated 6 years ago
- Implementation of Arinc standards including A429☆12Oct 12, 2016Updated 9 years ago
- A Subjective Web-of-Trust for Decentralized Moderation and Peer Review☆13Jan 20, 2024Updated 2 years ago
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Sep 23, 2022Updated 3 years ago
- Modular Aviation Instruments - Open Source Avionics for Microlights and other Non-Type-Certified Aircraft☆12Jan 13, 2019Updated 7 years ago
- The Alexandria Project is an open-source platform where people can share their knowledge through books, podcasts, docs and videos.☆12Dec 30, 2022Updated 3 years ago
- weharmony.github.io☆10Jun 11, 2024Updated last year
- ☆10Sep 4, 2022Updated 3 years ago
- Read/write VTIL files in Rust.☆11May 21, 2021Updated 4 years ago
- ☆12Nov 22, 2021Updated 4 years ago
- 人脸识别SDK☆12Jan 7, 2019Updated 7 years ago