- 博客(1)
- 资源 (1)
- 收藏
- 关注
原创 中文seL4内核参考手册
翻译了seL4内核参考手册,欢迎有兴趣的朋友围观:https://gitee.com/laokz/sel4_reference_manual
2020-03-26 12:10:07 533 1
sel4.0.8.pdf
seL4内核参考手册中文翻译,主要依据原版本11.0.0(2019年11月20日),对截止当前(2020年4月7日)的内核树少量变动也作了同步更新。在对照源码的基础上力求搬运地清楚准确。
2020-04-07
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人