arinc653

There are 1 repository under arinc653 topic.

pok-kernel / pok
POK kernel. Safe and secure for safety-critical systems.
c kernel mils arinc653 security microkernel
Language:C 89
Jrinx / Jrinx
ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.
arinc653 operating-system risc-v kernel
Language:C 23
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
beaglebone beaglebone-black arinc653 am335x rtos realtime real-time operating-system bare-metal baremetal baremetal-os arm arinc
Language:C 15
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
arm cortex cortex-a cortex-a9 xilinx xilinx-vivado zynq zynq-7000 zynq-7010 zynq-7020 arinc arinc653 z7-lite
Language:C 8
Jrinx / Jrinx-rs
ARINC653 Multi-Partition Operating System in Rust
arinc653 kernel operating-system risc-v rust
Language:Rust 7
lfarcaro / ARINC653_TOOLS
Configuration and test tools for the ARINC653 Real-Time Operating System (RTOS)
arinc653 am335x rtos realtime real-time operating-system baremetal-os arinc
Language:Java 6

pok-kernel / pok