1.open653，一个康奈尔大学的学生写的，可以在STM32等平台上运行，实现了部分接口，算是一个半成品。

主页：

https://ulrik.blog.aau.dk/arinc-653/open653/

下载地址：

http://people.cs.aau.dk/~ulrik/teaching/E16/Open653.zip

https://github.com/JakobOeJ/ESS7_project

2.pok，支持X86,PPC和SPARC，使用到了AADL结构分析和设计语言，实现了分区间通信和分区内通信：

主页：

POK, a real-time kernel for secure embedded systems

下载地址：

POK - download & quickstart

https://github.com/pok-kernel/pok2233d

3.a653lib，在Linux上实现了ARINC653调度：

The liba653 LIBRARY is an arinc 653 scheduler for Linux

https://github.com/airbus/a653lib

4.Jrinx,作者好像是北航毕业：
Jrinx 是一个基于 RISC-V 的 ARINC 653 多分区操作系统

https://github.com/Jrinx/Jrinx

5.最近自己也在做ARINC653分区操作系统研究，之前做过多年的机载软件研发，也做过多核平台，RISC-V, AUTOSAR OS 以及VxWorks的相关开发。自己研究了很多的嵌入式操作系统内核，研究的同时也在编写完善一个ARINC653分区操作系统内核，支持多核，后面完成度较高的时候，准备部分开源出来。