一种微内核分区操作系统C库的适配验证方法  

Adaptation and Verification Method of C Library Based on Microvisor

作　　者：郝继锋[1] 刘鸽[1] 

机构地区：[1]中航工业西安航空计算技术研究所,陕西西安710068

出　　处：《航空计算技术》2017年第3期74-79,共6页Aeronautical Computing Technique

基　　金：工信部某预研项目资助(G488A0813002-3)

摘　　要：针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点。It introduces limitations of the typical C library adaptation method, then proposes a new C li- brary adaptation method based on microkernel architecture embedded partition OS;it depicts the C library layout scheme, initialization process, the typical module＇s adaptation method precisely ; Finally, we prepare the hardware test and verification environment, and make a function test of the newly adapted C library on NXP four hardware platform, and presents three innovation points in the end.

关 键 词：微内核架构 嵌入式分区操作系统 标准接口 C库 恩智浦 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]