当智能体开始给操作系统「付房租」：云栖2026上一场关于Agent OS定义权的暗战
2026云栖大会「AI Agent原生操作系统」分论坛回放：Agent负载让「换操作系统=白拿40%性能」、token成本治理下沉到系统调用层，AMD与Arm用「沙箱密度」重写CPU规格表，中兴提出OS的第一性使命是「踩刹车」。本文梳理Agentic OS、SysAgent、SkillHub、SAIL开源等发布，拆解负载变迁→OS价值位重估→治理标准之争三层传导，并给出可落地的观察指标。
操作系统
MachCSL 精读：MIT 用 AI Agent 把 xv6 内核验证推进到 RISC-V 硬件级
MIT CSAIL（Kaashoek×Zeldovich）的 MachCSL 把并发分离逻辑（Iris 系）扩展到 RISC-V 硬件级语义——页表翻译、TLB、特权级、DMA、断电——并以此为基座证明 6,593 行 xv6 内核的全部不变量。验证过程发现 9 个 xv6 bug 与 1 个 Sail 语义 bug；全程由 LLM Agent 深度参与：77 天、407 个 agent 会话、2,254 个子代理运行、Claude 累计运行 1,729 小时。