论文部分内容阅读
针对OKL4设计一种高性能、高安全性的嵌入式虚拟机模型,在该模型的基础上,从处理器和内存2个方面提出实时操作系统μC/OS-Ⅱ在OKL4上的虚拟化方案,给出虚拟化硬件抽象层的构造过程及μC/OS-II在虚拟化硬件抽象层上的移植方法。在Hi3611智能手机开发板上的测试结果验证了该虚拟化方案的正确性。