Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: arinc653
Jrinx/Jrinx-rs
ARINC653 Multi-Partition Operating System in Rust
Language: Rust - Size: 654 KB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 7 - Forks: 1
pok-kernel/pok
POK kernel. Safe and secure for safety-critical systems.
Language: C - Size: 2.1 MB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 79 - Forks: 58
Jrinx/Jrinx
ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.
Language: C - Size: 809 KB - Last synced: 8 months ago - Pushed: 11 months ago - Stars: 16 - Forks: 0
lfarcaro/ARINC653_TOOLS
Configuration and test tools for the ARINC653 Real-Time Operating System (RTOS)
Language: Java - Size: 1.72 MB - Last synced: 9 months ago - Pushed: about 2 years ago - Stars: 4 - Forks: 1
lfarcaro/ARINC653_ARMV7A_Z7000
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
Language: C - Size: 749 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 5 - Forks: 2
lfarcaro/ARINC653_ARMV7A_AM335X
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
Language: C - Size: 2.14 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 12 - Forks: 3