seL4用户手册

【文件属性】：

文件名称：seL4用户手册

文件大小：651KB

文件格式：PDF

更新时间：2021-10-22 10:17:58

操作系统 微内核 L4 虚拟化

seL4微内核设计针对实时应用,可潜在应用于强调安全和实时性