seL4内核参考手册中文翻译，主要依据原版本11.0.0（2019年11月20日），对截止当前(2020年4月7日)的内核树少量变动也作了同步更新。在对照源码的基础上力求搬运地清楚准确。
2021-08-12 15:49:02
26.81MB
1
博主自己找了一个国内程序员开源的微内核[qaf](https://github.com/384782946/qaf)实现，由于qaf的代码看起来有点复杂，所以也请教公司大牛，他建议上手QtCreator源码，这便开始本博客记录。
2021-07-02 16:20:39
7.02MB
1
最新款国产微内核物联网os， 华为荣耀强力出品， 推荐所有操作系统爱好者学习、交流、分享，提升自我、助力国产os
2021-06-13 13:00:41
24.4MB
1
最新款国产微内核物联网os， 华为荣耀强力出品， 推荐所有操作系统爱好者学习、交流、分享，提升自我、助力国产os
2021-06-12 18:37:30
104.26MB
1