lfarcaro / ARINC653_ARMV7A_AM335XView external linksLinks
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:
- This code base contains a linux emulator for the ARINC-653 operating system services☆21Jul 24, 2019Updated 6 years ago
- POK kernel. Safe and secure for safety-critical systems.☆113Jan 26, 2026Updated 3 weeks ago
- 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 5 months ago
- A project repo to create and learn AUTOSAR stack☆18Dec 18, 2023Updated 2 years ago
- A web application to inspect ReqIF files☆14Dec 21, 2025Updated last month
- ☆18May 7, 2024Updated last year
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆77Jan 4, 2026Updated last month
- Conversion tools for grub's awful PFF2/pf2 font format.☆10May 28, 2023Updated 2 years ago
- An experimental distributed map reduce system based on Google's MapReduce, written in Rust!☆10Aug 3, 2022Updated 3 years ago
- ICC Examin colour profile, CGATS measurement, VRML gamut and ncl2 viewer☆10Oct 17, 2022Updated 3 years ago
- AM335X-FreeRTOS-lwip☆12Jul 10, 2023Updated 2 years ago
- lwIP DNAT support☆15Mar 13, 2025Updated 11 months ago
- 基于乐鑫 ESP32/ESP32-S2/S3 开发的小型无人机解决方案、基于北京理工大学自动化学院OLDX多旋翼开发平台(OLDX-FC)、基于正点原子ATK-F405☆21Apr 22, 2023Updated 2 years ago
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆18Jun 5, 2025Updated 8 months ago
- Open Avionics Architecture Model☆11Sep 15, 2021Updated 4 years ago
- Toy approach to VMProtect virtualization☆16Oct 26, 2018Updated 7 years ago
- 📗 Documents of Linux ELF binary signature verification solution.☆11Nov 30, 2020Updated 5 years ago
- ☆12Jan 9, 2018Updated 8 years ago
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated last year
- Source code for Multi-resolution Common Fate Transform.☆12Jun 5, 2020Updated 5 years ago
- ☆10Sep 4, 2022Updated 3 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
- 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
- Crate to interface full H-bridge motor drivers☆11May 16, 2018Updated 7 years ago
- weharmony.github.io☆10Jun 11, 2024Updated last year
- A simple, fast, deeply embeddable memory management system (malloc, free). Fast, light. < 1K byte heaps possible.☆11Dec 12, 2017Updated 8 years ago
- Python library to query APT repositories☆13Aug 6, 2024Updated last year
- Modular Aviation Instruments - Open Source Avionics for Microlights and other Non-Type-Certified Aircraft☆11Jan 13, 2019Updated 7 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Sep 23, 2022Updated 3 years ago
- Repository for the paper "Interpreting Temporal Graph Neural Networks with Koopman Theory"☆11Jan 30, 2025Updated last year
- CrowdOS☆11Jun 22, 2021Updated 4 years ago
- Public site of Russian-speaking AGI community☆13Feb 8, 2026Updated last week
- The open source distributed web search engine that searches by meaning.☆14Aug 14, 2023Updated 2 years ago
- Apache HoraeDB (Incubating) Rust Client.☆18Jun 13, 2025Updated 8 months ago
- This is a clone of an SVN repository at https://svn.code.sf.net/p/freetel/code/oslec. It had been cloned by http://svn2github.com/ , but …☆13Jan 18, 2017Updated 9 years ago
- Inspired by Cognition Labs' Devin AI, ManasAI is an open-source AI for software engineer. It aims to automate tasks, improve code quality…☆17Sep 17, 2024Updated last year