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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This code base contains a linux emulator for the ARINC-653 operating system services☆21Jul 24, 2019Updated 6 years ago
- Real-Time Operating System (RTOS) for Xilinx Zynq-7000 Cortex-A9 (ARMv7-A) multi-core SoCs (ZedBoard, PicoZed, MicroZed and similars) bas…☆15Aug 10, 2023Updated 2 years ago
- POK kernel. Safe and secure for safety-critical systems.☆115Updated this week
- ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.☆28Jun 25, 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
- 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.
- 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☆33Apr 17, 2026Updated last week
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆82Apr 21, 2026Updated last week
- 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
- FreeRTOS (include AWS related libraries) reference repository☆19Mar 27, 2026Updated last month
- A C# library for reading and writing reqif documents☆31Updated this week
- The Realtime Linux tree☆49Apr 22, 2018Updated 8 years ago
- 📗 Documents of Linux ELF binary signature verification solution.☆11Nov 30, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- XtratuM Mirror☆21Apr 7, 2017Updated 9 years ago
- RotorS is a UAV gazebo simulator [With Parrot Bebop 2]☆13Apr 14, 2018Updated 8 years ago
- This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series eva…☆21Oct 15, 2021Updated 4 years ago
- Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++☆14Nov 19, 2025Updated 5 months ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆14Nov 6, 2025Updated 5 months ago
- Added model of a tiltrotor Y4 UAV in sitl_gazebo to the original PX4/Firmware repository☆19Dec 7, 2019Updated 6 years ago
- ☆22Updated this week
- ICC Examin colour profile, CGATS measurement, VRML gamut and ncl2 viewer☆11Oct 17, 2022Updated 3 years ago
- weharmony.github.io☆10Jun 11, 2024Updated last year
- 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.
- Software Orchestration through rocket science☆28Aug 12, 2025Updated 8 months ago
- CySat-1 Software and Applications for Onboard Firmware and Ground Station☆13May 25, 2024Updated last year
- 相对于以前的板级文件的配置，Linux内核设备树（dts）成为了主流，记录学习过程。☆15Jan 28, 2019Updated 7 years ago
- Cellular API, compatible with LWIP, in C for embedded platforms.☆22Mar 9, 2021Updated 5 years ago
- A simple Windows QEMU virtual machine manager☆11May 19, 2021Updated 4 years ago
- A stand-alone Arduino GPS time server☆13Aug 16, 2018Updated 7 years ago
- Conversion tools for grub's awful PFF2/pf2 font format.☆11May 28, 2023Updated 2 years ago
- Trajectory planning library☆16Jun 24, 2020Updated 5 years ago
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Implementation of an erlang style actor model using libdispatch☆17Feb 24, 2014Updated 12 years ago
- Sifive All Aboard 系列文章翻译☆11Nov 26, 2021Updated 4 years ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- SAR is a new way of handling regular expression which allows us to run many regular expressions (only limitation being the available memo…☆15Nov 3, 2023Updated 2 years ago
- ☆16Jun 5, 2019Updated 6 years ago
- A faster cmsis nn implementation optimized for ds-cnn architecture.☆10Jan 30, 2021Updated 5 years ago
- Wireless regulatory database for CRDA☆14Aug 1, 2014Updated 11 years ago