-
题名seL4微内核架构的嵌入式虚拟化技术研究
被引量：3
- 1
-
-
作者
王涵
张激
左龙
-
机构
中国电子科技集团公司第三十二研究所
-
出处
《单片机与嵌入式系统应用》
2021年第7期30-32,37,共4页
-
文摘
随着嵌入式硬件技术水平的提升以及嵌入式应用的普及,用户对嵌入式系统可以提供的服务能力与质量水平提出了更高的要求。出于对成本和可靠性方面的考虑,开发者希望可以在同一硬件平台上同时运行多个互不影响的执行环境。本文提出了一种基于seL4微内核架构的嵌入式虚拟化技术,以Chcore微内核为基础,充分利用ARM硬件辅助虚拟化支持,设计并实现了基于能力调用机制的嵌入式虚拟机管理器。测试结果表明,该虚拟机管理器在处理器利用率、虚拟机调度、中断异常处理等方面性能良好,可以满足用户的常用应用需求。
-
关键词
sel4
嵌入式系统
ARM硬件辅助虚拟化
虚拟机管理器
-
Keywords
sel4
embedded system
ARM hardware assisted virtualization
hypervisor
-
分类号
TP325
[自动化与计算机技术—计算机系统结构]
-
-
题名多核平台上针对seL4的分区机制研究
- 2
-
-
作者
丁贵强
王雷
王鹿鸣
康乔
-
机构
北京航空航天大学计算机学院
北京航空航天大学软件学院
-
出处
《计算机科学》
CSCD
北大核心
2018年第9期70-74,共5页
-
基金
国家自然科学基金(61672073
61272167)资助
-
文摘
在航空电子等嵌入式领域中,多核时代已经来临,如何充分利用多核成为了现在系统领域的研究热点。同时由于系统集成度越来越高,一个硬件平台可能需要同时运行不同安全级别的任务,这就需要操作系统为应用提供隔离与保护。为了解决这两个问题,文中在目前只支持单核的seL4的基础上分别加入多核和分区隔离的支持,之后又提出多核和分区机制相结合的方案,实现了带分区机制的多核seL4。最终将其运行在qemu模拟器上,分区机制的实现符合ARINC653标准的语义。
-
关键词
sel4
多核
分区
嵌入式
-
Keywords
sel4
Multi-core
Partition
Embedded
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名长城300SEL—P4电源
- 3
-
-
-
出处
《电脑自做》
2002年第10期17-17,共1页
-
-
关键词
长城300sel-P4
电源
静音设计
噪音
-
分类号
TN86
[电子电信—信息与通信工程]
TP303.3
[自动化与计算机技术—计算机系统结构]
-
