Kernel configuration with ARINC653 XML files

You can also configure the kernel with an ARINC653 XML file. The tool is available in POK releases in the misc/ directory. More information can be found in section 5.1.