seL4微内核架构的嵌入式虚拟化技术研究
随着嵌入式硬件技术水平的提升以及嵌入式应用的普及,用户对嵌入式系统可以提供的服务能力与质量水平提出了更高的要求.出于对成本和可靠性方面的考虑,开发者希望可以在同一硬件平台上同时运行多个互不影响的执行环境.本文提出了一种基于seL4微内核架构的嵌入式虚拟化技术,以Chcore微内核为基础,充分利用ARM硬件辅助虚拟化支持,设计并实现了基于能力调用机制的嵌入式虚拟机管理器.测试结果表明,该虚拟机管理器在处理器利用率、虚拟机调度、中断异常处理等方面性能良好,可以满足用户的常用应用需求.
seL4、嵌入式系统、ARM硬件辅助虚拟化、虚拟机管理器
21
TP325(计算技术、计算机技术)
2021-07-14（万方平台首次上网日期，不代表论文的发表时间）
共4页
30-32,37
