arinc653

POK kernel. Safe and secure for safety-critical systems.

ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.

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

Real-Time Operating System (RTOS) for Xilinx Zynq-7000 Cortex-A9 (ARMv7-A) multi-core SoCs (ZedBoard, PicoZed, MicroZed and similars) based on the ARINC 653 Part 1 specification

ARINC653 Multi-Partition Operating System in Rust

Configuration and test tools for the ARINC653 Real-Time Operating System (RTOS)

Reference materials and configs for fundamental networking protocols

pyarinc653 is a ARINC 653 time‑partitioned simulation framework for Python. It provides deterministic major/minor frame scheduling, partition execution, interrupt/syscall simulation, YAML/Pydantic configuration, and multiple tracing backends. Ideal for RTOS research and tooling.