同步操作将从 laokz/seL4内核参考手册 强制同步,此操作会覆盖自 Fork 仓库以来所做的任何修改,且无法恢复!!!
确定后同步将在后台操作,完成时将刷新页面,请耐心等待。
除特别说明,以下时间均为译文时间。 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为主要参照形成译文。
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。