多核平台上针对seL4的分区机制研究

摘要

在航空电子等嵌入式领域中,多核时代已经来临,如何充分利用多核成为了现在系统领域的研究热点.同时由于系统集成度越来越高,一个硬件平台可能需要同时运行不同安全级别的任务,这就需要操作系统为应用提供隔离与保护.为了解决这两个问题,文中在目前只支持单核的seL4的基础上分别加入多核和分区隔离的支持,之后又提出多核和分区机制相结合的方案,实现了带分区机制的多核seL4.最终将其运行在qemu模拟器上,分区机制的实现符合ARINC653标准的语义.