arinc653-p2,英文原版文档,主要是安全操作系统的接口函数