文件名称：seL4 操作系统编程手册 （中文版）
文件大小：3.55MB
文件格式：PDF
更新时间：2021-09-26 04:09:00
sel4
国内知名大学的sel4文档手册，相当值得借鉴，中文版。带书签。
seL4 操作系统编程手册 （中文版）
【文件属性】：
网友评论
- 感觉是扫描的版本，有很多错别字和语病
- 绝对十本好书，微内核设计，实时性和安全性兼顾
- 还不错，推荐呢
文件名称：seL4 操作系统编程手册 （中文版）
文件大小：3.55MB
文件格式：PDF
更新时间：2021-09-26 04:09:00
sel4
国内知名大学的sel4文档手册，相当值得借鉴，中文版。带书签。