AirymaxOS 操作系统
基于 Linux 6.6 微内核化改造的原生智能体操作系统
AirymaxOS · Native Agent Operating System
AirymaxOS 是对 Linux 6.6 进行 seL4 微内核思想改造的原生智能体操作系统。通过 Liedtke 极简原则、Capability 安全模型、消息传递 IPC 与服务用户态化，为 AI 智能体提供操作系统级原生支持。
系统概述
Linux 6.6
内核基线
微内核化
seL4 思想改造
AirymaxOS 借鉴 seL4 微内核工程思想，对 Linux 6.6 进行系统化改造，为 AI 智能体提供原生的操作系统级支持。
五大不可妥协技术选型
sched_tac
原生调度类（非 sched_ext）
纯 C LSM
可审计安全钩子（非 BPF LSM）
其他三大选型
IPC 零拷贝IORING_OP_URING_CMD
内存分配alloc_pages + mmap
七层架构
L1 硬件抽象 → L2 内核 → L3 服务 → L4 认知 → L5 云原生 → L6 系统 → L7 测试
八大核心子仓
kernel 极境内核
Linux 6.6 + sched_tac + io_uring + 纯 C LSM + Rust 实验性
security 极境安全
Capability + 纯 C LSM + Landlock + 机密计算 + 国密算法
cognition 极境认知
CoreLoopThree kthread + Wasm 3.0 + LLM 调度 + Token 能效优化
IRON-9 v3 四层共享模型
| 层次 | 共享程度 | 内容说明 |
|---|---|---|
| [SC] | 完全共享 | 10 个核心头文件，定义 kernel↔agentrt ABI |
| [SS] | 语义同源 | 调度语义、安全模型、IPC 传输、记忆模型 |
| [IND] | 完全独立 | io_uring fastpath、纯 C LSM、Kbuild/Kconfig |
| [DSL] | 降级生存 | 38 POSIX 错误码 + printk + 最小 128B IPC |
五维正交 24 原则
系统观 S
反馈闭环、层次分解、总体设计部、涌现性管理
内核观 K
内核极简、接口契约化、服务隔离、可插拔策略
认知观 C
双思考功能、增量演化、记忆卷载、遗忘机制
开放标准体系
7
主题标准文档
3级
兼容性认证（Certified / Compatible / Inspired）
七大标准主题
- Agent 运行时标准
- IPC 协议标准
- 安全模型标准
- 记忆卷载标准
- 认知循环标准
- 调度标准
- 系统调用标准
应用场景
AirymaxRT 用户态运行
- 跨平台运行于 Linux / macOS / Windows，无需操作系统级改造
- 12 个守护进程提供完整服务，网关支持 HTTP / WS / MCP / A2A 多协议
- 四语言 SDK（Python / Go / Rust / TypeScript）+ CLI + TUI 工具链
- 适用于普通用户和开发者，快速部署智能体应用
AirymaxOS 操作系统级
- Linux 6.6 微内核化改造，内核级 Agent 感知调度
- Capability 安全模型 + 纯 C LSM，形式化验证安全路径
- CXL 内存池化 + PMEM 持久内存 + MGLRU 多代 LRU
- 面向开源社区和专业开发者，构建下一代智能体原生操作系统