| seL4微内核架构的嵌入式虚拟化技术研究 |
| |
| 引用本文： | 王涵,张激,左龙.seL4微内核架构的嵌入式虚拟化技术研究[J].单片机与嵌入式系统应用,2021,21(7):30-32,37. |
| |
| 作者姓名： | 王涵 张激 左龙 |
| |
| 作者单位： | 中国电子科技集团公司第三十二研究所,上海201808 |
| |
| 摘 要： | 随着嵌入式硬件技术水平的提升以及嵌入式应用的普及,用户对嵌入式系统可以提供的服务能力与质量水平提出了更高的要求.出于对成本和可靠性方面的考虑,开发者希望可以在同一硬件平台上同时运行多个互不影响的执行环境.本文提出了一种基于seL4微内核架构的嵌入式虚拟化技术,以Chcore微内核为基础,充分利用ARM硬件辅助虚拟化支持,设计并实现了基于能力调用机制的嵌入式虚拟机管理器.测试结果表明,该虚拟机管理器在处理器利用率、虚拟机调度、中断异常处理等方面性能良好,可以满足用户的常用应用需求.
|
| 关 键 词： | seL4 嵌入式系统 ARM硬件辅助虚拟化 虚拟机管理器 |
Research on Embedded Virtualization Technology Based on seL4 Micro Kernel Architecture |
| |
| Wang Han,Zhang Ji,Zuo Long.Research on Embedded Virtualization Technology Based on seL4 Micro Kernel Architecture[J].Microcontrollers & Embedded Systems,2021,21(7):30-32,37. |
| |
| Authors: | Wang Han Zhang Ji Zuo Long |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
