Language: English | 简体中文

agentrt-linux Kernel (AirymaxOS Kernel)

Kernel subsystem of agentrt-linux（AirymaxOS） — the AI Agent Operating System. One of the leaf repositories aggregated by the agentrt-linux management repo. Reuses and extends the Airymax atoms/corekern module for OS-level kernel capabilities.

---

Overview

The agentrt-linux Kernel (AirymaxOS Kernel) (airymaxos-kernel) is the kernel subsystem of agentrt-linux（AirymaxOS）, the AI Agent Operating System. It is based on microkernel design principles (referencing seL4 / Zircon / Minix3, Liedtke minimality principle, capability-based security) and built on top of Linux 6.6 with sched_ext, eBPF, io_uring, and Rust support.

In agentrt-linux 0.1.1, this repository is documentation complete (文档体系完成) containing design documents, reference distribution specifications, and architectural drafts. Actual kernel and OS development takes place in version 1.0.1.

Core Technologies

• Linux 6.6 base (Euler 24.03 LTS kernel baseline) with microkernel refactoring
• sched_ext sub-scheduler (Linux 6.15+) for AI-aware CPU scheduling
• eBPF signed verification (Linux 6.15) for secure in-kernel programmability
• io_uring for high-performance async I/O and message passing
• Rust (experimental support in Linux 6.6) for memory-safe kernel modules
• Microkernel design referencing seL4 / Zircon / Minix3

Relationship with Airymax atoms/corekern

The agentrt-linux Kernel (AirymaxOS Kernel) reuses and extends the atoms/corekern module from the Airymax runtime platform. The core micro-core primitives (scheduler, memory management, task flow) are shared between the user-space runtime (agentrt) and the OS-level kernel (agentrt-linux（AirymaxOS）), ensuring architectural homology with no adaptation layer.

Repository Structure (0.1.1 Documentation Complete)

kernel/
├── README.md           # This file (English)
├── README_zh.md        # Chinese translation
├── LICENSE             # AGPL-3.0 + Apache-2.0 dual license
├── NOTICE              # Copyright, trademark and third-party notices
└── .gitignore

Design documents and reference distribution specifications are maintained in the docs/AirymaxAgentOS/ directory of the umbrella repository.

Upstream & Downstream Dependencies

Upstream

• Airymax atoms/corekern — provides the core micro-core primitives that are reused and extended
• Euler 24.03 LTS / 26.03 — reference distribution for standards and specifications
• Linux 6.6 — base kernel with sched_ext, eBPF, io_uring, and Rust（实验性）support

Downstream

• agentrt-linux Services (AirymaxOS Services) — user-space services running on top of the kernel
• agentrt-linux Security (AirymaxOS Security) — security subsystem integrating with the kernel LSM hooks
• agentrt-linux Memory (AirymaxOS Memory) — memory management subsystem using kernel memory APIs

Branch Strategy

This leaf repository is developed on feature/official-hubs-01. The aggregating agentrt-linux management repo stays on main.

License

Dual-licensed under AGPL v3 + Apache 2.0 (SPDX: AGPL-3.0-or-later OR Apache-2.0). See LICENSE for the full text.

Copyright (c) 2025-2026 SPHARX Ltd. All Rights Reserved.