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:
- POK kernel. Safe and secure for safety-critical systems.☆118Jun 18, 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…☆15Aug 10, 2023Updated 2 years ago
- ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.☆28Jun 25, 2023Updated 3 years ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆19Jan 13, 2017Updated 9 years ago
- A project repo to create and learn AUTOSAR stack☆18Dec 18, 2023Updated 2 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 web application to inspect ReqIF files☆16Jun 7, 2026Updated last month
- ☆18May 7, 2024Updated 2 years ago
- FreeRTOS (include AWS related libraries) reference repository☆20Jul 8, 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
- ☆10Sep 4, 2022Updated 3 years ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- XtratuM Mirror☆20Apr 7, 2017Updated 9 years ago
- The Realtime Linux tree☆49Apr 22, 2018Updated 8 years ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆83Jun 6, 2026Updated last month
- 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.
- Plugin for Qt Creator that helps with visual detecting code test coverage☆25Aug 2, 2013Updated 12 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 8 months ago
- ☆15Jun 19, 2025Updated last year
- Repository for CMSIS-Zone eclipse plug-in☆16Jul 14, 2026Updated last week
- simple GUI OS on X86 made with C&Assembler☆17Mar 14, 2015Updated 11 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆63Updated this week
- ICC Examin colour profile, CGATS measurement, VRML gamut and ncl2 viewer☆11Oct 17, 2022Updated 3 years ago
- ☆12Jan 9, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ARINC 653 POSIX based library☆37Jun 10, 2026Updated last month
- Cellular API, compatible with LWIP, in C for embedded platforms.☆22Mar 9, 2021Updated 5 years ago
- 相对于以前的板级文件的配置，Linux内核设备树（dts）成为了主流，记录学习过程。☆15Jan 28, 2019Updated 7 years ago
- CySat-1 Software and Applications for Onboard Firmware and Ground Station☆14May 25, 2024Updated 2 years ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆17May 5, 2026Updated 2 months 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 3 years ago
- 这是一个从uboot源码中移植出来的shell命令行代码☆11May 27, 2021Updated 5 years ago
- A basic Python simulation of an Electric Vertical Take-Off and Landing (eVTOL) aircraft, modeling vertical take-off, cruising, and landin…☆18Jul 31, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- A simple Windows QEMU virtual machine manager☆12May 19, 2021Updated 5 years ago
- Implementation of an erlang style actor model using libdispatch☆17Feb 24, 2014Updated 12 years ago
- Trajectory planning library☆16Jun 24, 2020Updated 6 years ago
- This repository contains Design files for Various Base board Designed for Avnet Zynq Ultrascale+ FPGA SOC☆25Jun 21, 2025Updated last year
- 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
- GUI for Tracesniffer-plugin☆26Mar 12, 2020Updated 6 years ago