操作系统嵌入式嵌入式OS【免费下载链接】tockA secure embedded operating system for microcontrollers项目地址https://gitcode.com/gh_mirrors/to/tock点击查看免费下载导读本文基于 Tock 仓库 doc/wg/core/notes/core-notes-2026-07-01.md 的会议记录梳理 2026 年 7 月 1 日 Tock 核心工作组Core WG周会的完整议题。内容包括 AI 使用政策的合并决定与 PR 模板改动、tock-registers 移除UnsafeRead/UnsafeWrite的决策、IPC 共享内存接口的阶段性结论、密码学工作组新 AES HIL 的设计方向以及 libtock-c UDP 接口的历史遗留问题。读完本文你将掌握 Tock 社区当前正在推进的关键技术决策与代码演进路线并能在仓库源码中找到对应的实现依据。一、会议概况与参会人员本次周会由核心工作组Core Working Group组织Tock 核心工作组的职责与成员信息可在 doc/wg/core/README.md 中查看——该组负责管理、监督 Tock 的代码、文档、测试与发布并协调各子工作组如网络工作组、密码学工作组的工作。参会人员Amit Levy、Brad Campbell、Branden Ghena、Hudson Ayers、Johnathan Van Why、Leon Schuermann。议题概览议题类型结论/进展tockloader 新版本发布更新Brad 已推送tock-registers 移除 UnsafeRead/UnsafeWrite更新决定推进后续按需再引入IPC 共享内存接口更新已有初步设计PR #4680待工程实现新 AES HIL更新接近完成重新设计提案AI 政策#4838、#4834讨论合并 #4838版权声明另开 PRtock-www PR 133DmaSlice 博客讨论已合并libtock-c PR 568YWF讨论语义等价UDP 目标地址问题另立 issuePR 4899汇编修复讨论已确认可合并二、AI 使用政策#4838 合并与 #4834 模板调整2.1 背景两篇 PR 的定位#4838修改贡献者文档加入 AI 使用政策提出已约一个半月#4834修改 PR 模板语言要求贡献者列出本 PR 使用的 LLM并勾选已阅读并遵守 AI 政策的复选框替代此前PR 描述中已详述 AI 使用情况并认证 PR 内容的表述。会议决定两篇 PR 合并推进。从仓库现状看Tock 的 AI 政策相关内容已进入多个历史会议纪要如 core-notes-2026-06-17.md并在 AGENTS.md 等文档中有所体现说明该政策是 Tock 近期社区治理的核心议题之一。2.2 关键争论点1AI一词过于宽泛Amit 指出AI是模糊术语——代码补全也是 AI他不希望贡献者披露自己使用 LSP 服务器。Leon 的回应代表了一个务实立场一个先宽松、后续再精调的政策优于一个一开始就过度具体的政策如果产生歧义后续精化即可。2版权责任归属Leon 强调政策应明确版权仍是贡献者的责任并担心 AI 工具会让人更容易把责任推卸到别处。Johnathan 表示惊讶于许可责任属于贡献者此前并非人人皆知——这反而说明需要显式政策。最终结论版权声明作为独立章节由 Leon 另开新 PR 讨论而非并入 AI 章节。3复选框 vs 自由文本Leon 最初建议用两个复选框以收集可统计的数据点类似 Rust 项目的做法Branden 认为自由文本更合适——模板本身在每个章节都预留了AI use: none之类的填写位置。Leon 提出可用 Markdown 注释或代码反引号作为响应区域分隔符Branden 确认模板已有该设计。对于不使用 LLM 的贡献者Branden 建议填写AI use: none并勾选复选框就像删除本 PR 已测试…模板句一样。4UX 与信号准确性Amit 担心新增勾选与填写步骤对不使用 AI 的贡献者是额外负担Johnathan 认为这是获取准确 AI 使用信号的必要成本Branden 明确这是刻意抬高几字符的提交门槛。Leon 则提醒此前双复选框方案导致 GitHub 任务跟踪中所有 PR 被标记为未完成他个人会统一忽略这类标记——单一复选框方案在所有其他方面更优。5是否污染既有贡献Hudson 担心如果到处都要添加版权提醒是否说明文档本身不够充分Amit 认可 Johnathan 的判断——大多数开 PR 的人本就清楚预期且 README 中已有明确表述在别处澄清没有问题。2.3 会议结论#4838 合并暂停数分钟后 Amit 执行合并#4834Johnathan 希望先看到版权问题被处理会议未当场合并版权部分由 Leon 另开 PR 承载双方同意这是独立讨论。三、tock-registers移除 UnsafeRead/UnsafeWrite 的决策3.1 决策内容Johnathan 报告决定在 tock-registers 中不引入UnsafeRead/UnsafeWrite待将来确有需求并完成设计输入后再考虑。Amit 提出的根本性担忧依然存在——unsafe 操作 trait 不知道自己的安全不变量safety invariants这一设计缺口是暂时搁置该类 trait 的核心原因。3.2 仓库中的讨论脉络该决策并非孤立事件。在 core-notes-2026-06-24.md 的纪要中与会者已讨论过UnsafeRead/UnsafeWrite的计划是否健全、是否需要保留以及需要重写安全的 DMA等关联工作。本次会议是这条讨论线的收尾暂不引入按需再设计。3.3 后续动作Johnathan 收集了若干变更计划在合并后、Tock 正式使用前完成清理。从仓库结构看tock-registers 位于 libraries/tock-registers源码在src/registers.rs是 Tock 内核寄存器访问的基础库其 API 稳定性直接影响所有芯片 crate。四、IPC 进展与共享内存接口设计PR #46804.1 现状Branden 汇报网络工作组Network WG已休眠两个月大家忙于各自事务。IPC 方面维持原状通信的初步设计已存在但缺工程时间实现共享内存接口尚无完整设计只有模糊构想。夏季待办清单上IPC 是 Branden 的第一要务。4.2 实施路线既定路线是先实现基于单次拷贝single-copy的 Allow 式 API再推进共享内存设计。这意味着一期目标复用 Tock 现有的 Allow 系统调用机制避免共享内存方案中复杂的生命周期与所有权问题待其成熟后再抽象出共享内存接口。4.3 设计文档与源码佐证设计文档对应 PR#4680由 Leon 与 Branden 持续补充提交最终将演化为 TRD技术研究文档参考 doc/reference 目录下的 trd 系列。内核侧实现现状可参考 kernel/src/ipc.rs该文件是内核 IPC syscall driver包含只读 allow 缓冲区的 id 定义ro_allow模块、AllowRoCount/AllowRwCount的 grant 配置以及通过get_readonly_processbuffer读取只读 allow 缓冲区的逻辑——这正是未来单次拷贝 Allow API 的承载基础。五、密码学工作组新 AES HIL 的设计方向5.1 背景密码学工作组的长期焦点是密码学栈cryptography stack的重建。第一个接近完成的重新设计提案就是新的 AES HIL硬件抽象层其意义不仅是 AES 本身更被寄望为其他密码学 HIL 的样板与试验场。5.2 核心设计变化设计由 Bobby 主导最大变化是接口形态底层驱动反向调用客户端client向其请求 key/IV/payload以避免不必要的拷贝。即把数据流向从上层推入改为底层回调拉取从而在多段式加解密场景中减少内存搬移——这与 Tock 内核一贯的零拷贝、静态内存设计哲学一致。5.3 仓库中的现有 AES HIL 与实现当前 AES HIL 定义在 kernel/src/hil/symmetric_encryption.rs可作为理解新设计基线的参照常量AES_BLOCK_SIZE 16、AES128_KEY_SIZE 16、AES192_KEY_SIZE 24、AES256_KEY_SIZE 32核心 traitAESa, K: AESKeySizeenable/disable、set_client、set_key长度不符返回INVAL、set_iv、start_message支持连续多次crypt扩展加密上下文、crypt源缓冲区为None时原地加解密start_index/stop_index必须为 16 字节块的整数倍操作中返回BUSY模式 traitAESCtr/AESCBC/AESECB各自提供set_mode_*认证加密接口AESCCMnonce 长度CCM_NONCE_LENGTH 13与AESGCMIV 建议不超过 12 字节遵循 NIST-800-38D回调统一返回crypt_done(buf, res, tag_is_valid)。在胶囊层capsules/aes_gcm/src/aes_gcm.rs 的Aes128Gcm展示了当前 API 的典型用法它要求底层 AES 实现同时支持 CTR/CBC/ECB/CCMtrait bound 为AESa, AES128 AESCtr AESCBC AESECB AESCCMa, AES128内部用start_ctr_encrypt组合出 GCM 状态机Idle/GenerateHashKey/CtrEncrypt并通过TakeCell/OptionalCell管理静态缓冲区——这正是底层驱动直接操作缓冲区、客户端注册回调模式的现存样例可作为评估新 AES HIL 设计优劣的实物参照。会议预期新 AES HIL 提案接近完成未来将作为其他密码学 HIL如公钥密码见 kernel/src/hil/public_key_crypto的范式。六、tock-www PR 133DmaSlice 博客文章合并tock-wwwTock 官网仓库PR 133 新增了一篇DmaSlice 博客文章。Amit 坦承该文学术深度不深但没有时间做得更好Leon 提出一条修改意见Amit 已创建并应用该建议随后批准并合并。注DmaSlice 属于 Tock 内存管理DMA 切片相关概念仓库内核侧相关讨论可追溯到 2026-06-24 纪要中重写安全 DMA的规划core-notes-2026-06-24.md本次合并表明社区希望尽快将设计思路以可读形式沉淀下来。七、libtock-c PR 568YWFUDP 目标地址的历史遗留问题7.1 PR 性质PR 568 是YWFYelling with Friends相关的机械性转换Brad 使用 Claude 完成因改动高度机械而被认为几乎无争议。Branden 指出其中两处奇怪疑似源于既有代码本身的怪癖。7.2 核心问题UDP send 的 destination 参数net/udp的UDP send 接口接收 buffer、长度和 destination但destination 参数已被闲置约 8 年。讨论要点该接口运行于 6LoWPAN 之上Hudson 确认Branden 查看示例应用后发现它们都只把参数传给 UDP send而未先调用bind——Amit 预期本地地址应由bind提供风险分析若发送时不带目标地址可能退化为广播或接收端不校验目标地址单跳场景下仍能收到Hudson 在代码中发现了 Tyler 添加的hack: this is not static注释会后将继续核查结论该问题与 PR 本身正交——转换在语义上是正确的但暴露了一个值得单独处理的接口问题应另立 issue讨论是否修改接口而非阻塞本 PR。7.3 会议共识PR 568 本身语义等价、转换有效可以继续推进UDP destination 问题作为独立 issue 跟踪。这也提示读者机械性代码转换可能顺带暴露深层接口设计问题值得单独评估。八、PR 4899汇编使用中的寄存器修复Branden 报告 Brad 发现的一个asm 使用问题看起来是明显的修复。Amit 确认汇编逻辑合理唯一细节是r3 在测试后不再被使用——Branden 复确认后同意点击合并。该 PR 属于内核底层汇编修复其背景可从 Tock 的架构层源码进一步了解例如 arch/cortex-m/src 与 arch/riscv/src 中的上下文切换与系统调用汇编实现其中对寄存器使用有严格约定。九、遗留事项与行动清单结合全篇纪要整理出以下待办与观察事项负责人状态#4838AI 政策进贡献者文档Amit✅ 已合并#4834PR 模板 AI 语言Brad 等待版权问题确认后推进版权声明独立章节新 PRLeon待开 PRtock-registers 合并后清理变更Johnathan待办IPC 单次拷贝 Allow API 实现Branden暑期设计就绪待工程实现PR #4680 演进为 TRDLeon/Branden进行中新 AES HIL 提案Bobby/密码学 WG接近完成UDP destination 问题Hudson会后核查另立 issuePR 4899 汇编修复Branden✅ 已确认合并延伸阅读本文讨论的 AI 政策、密码学 HIL 与 IPC 设计均属于 Tock 工作组的长期技术治理议题可结合 doc/wg/core/README.md工作组章程与 doc/wg/core/notes 目录下的其他周会纪要继续追踪决策演变脉络。赞分享操作系统嵌入式嵌入式OS【免费下载链接】tockA secure embedded operating system for microcontrollers项目地址https://gitcode.com/gh_mirrors/to/tock点击查看免费下载相关推荐Tock 密码学工作组 2026-07-14 会议纪要深度解读AES HIL 设计之争、Oracle 加密路线图与 Digest 转向Tock 密码学工作组 2026 07 14 会议纪要深度解读AES HIL 设计之争、Oracle 加密路线图与 Digest 转向 导读 本文以 doc/操作系统嵌入式嵌入式OSTock Network WG 会议纪要精读Userspace Services 与 IPC 共享内存的设计走向Tock Network WG 会议纪要精读Userspace Services 与 IPC 共享内存的设计走向 本文基于 Tock 网络工作组Networ操作系统嵌入式嵌入式OSXState v5 核心版本演进全解析从 CHANGELOG 读懂状态机、Actor 系统与 TypeScript 类型体系XState v5 核心版本演进全解析从 CHANGELOG 读懂状态机、Actor 系统与 TypeScript 类型体系 本篇技术指南以 XState 核操作系统嵌入式嵌入式OS上一篇3分钟搞定Brotli静态库配置libbrotlicommon.pc实战指南下一篇UEVR渲染模式完全解析Native Stereo vs Synchronized Sequential vs AFR创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考