1 Star 0 Fork 28

xnd/seL4内核参考手册

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
克隆/下载
changelog.txt 502 Bytes
一键复制 编辑 原始数据 按行查看 历史
laokz 提交于 2020-08-30 18:23 . revise 2.4.2 6.1.11.2
除特别说明,以下时间均为译文时间。
2020-08-30 原文2.4.2节补上了SC可变大小的描述,删除了6.1.11.2中无用的最后一段。
2020-07-21 原文更新了ARM有关API描述,增加了AckVPPI方法;增加了三个基准测试系统调用:FlushL1Caches(目前仅支持ARM平台)、DumpAllThreadsUtilisation和ResetAllThreadsUtilisation。
2020-04-07 原文更新了个别文字,主要在第2章。
以原文2019-11-20 ver11.0.0为主要参照形成译文。
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
其他
1
https://gitee.com/xeonds/sel4_reference_manual.git
git@gitee.com:xeonds/sel4_reference_manual.git
xeonds
sel4_reference_manual
seL4内核参考手册
master

搜索帮助