单片机与嵌入式系统应用2021，Vol.21Issue(7)：30-32,37,4.
seL4微内核架构的嵌入式虚拟化技术研究
Research on Embedded Virtualization Technology Based on seL4 Micro Kernel Architecture
王涵 1张激 1左龙1
作者信息
- 1. 中国电子科技集团公司第三十二研究所,上海201808
- 折叠
摘要
关键词
seL4/嵌入式系统/ARM硬件辅助虚拟化/虚拟机管理器分类
信息技术与安全科学引用本文复制引用
王涵,张激,左龙..seL4微内核架构的嵌入式虚拟化技术研究[J].单片机与嵌入式系统应用,2021,21(7):30-32,37,4.
