seL4内核参考手册中文翻译,主要依据原版本11.0.0(2019年11月20日),对截止当前(2020年4月7日)的内核树少量变动也作了同步更新。在对照源码的基础上力求搬运地清楚准确。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~