seL4系统论文

【文件属性】：

文件名称：seL4系统论文

文件大小：421KB

文件格式：PDF

更新时间：2019-01-24 05:27:20

操作系统

本文描述了seL4实时系能的基本测试。文中详细分析了中断响应时间、进程间切换的测试。