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

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

丁贵强, 王雷, 王鹿鸣, 康乔

Study of Partition Mechanism for seL4 on Multi-core Platform

DING Gui-qiang, WANG Lei, WANG Lu-ming, KANG Qiao

计算机科学 . 2018, (9): 70 -74 . DOI: 10.11896／j.issn.1002-137X.2018.09.010