The ACOP-PC project is an extension to the Linux kernel, that implements the Arinc 653 avionics standard on standard PC equipment. In addition the project maintains a kernel testing system and testsuite to ensure specification compliant behaviour.
