Skip to content

README.md

Latest commit

 

History

History
96 lines (71 loc) · 4.73 KB

README.md

File metadata and controls

96 lines (71 loc) · 4.73 KB
Raw

Language: English | 简体中文

kernel — agentrt-linux (AirymaxOS) Kernel

Version License

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

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

Positioning

The kernel leaf repository is the kernel subsystem of agentrt-linux (AirymaxOS). It applies microkernel design principles (referencing seL4 / Zircon / Minix3, the Liedtke minimality principle, capability-based security, user-space service isolation, and message-passing communication) on top of the Linux 6.6 monolithic kernel — rather than developing a microkernel from scratch.

Core Responsibilities

  • Linux 6.6 baseline (Euler-standard 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 kernel↔user message passing.
  • Rust (experimental in Linux 6.6) for memory-safe kernel modules.
  • [SC] shared-contract layer — owns the single physical source of the 6+2 headers under kernel/include/airymax/ that define the kernel↔agentrt ABI. Functions use the airy_* prefix; the IPC ABI magic is 0x41524531 ('ARE1') and the task-descriptor magic is 0x41475453 ('AGTS').

Relationship with Airymax atoms/corekern

The kernel leaf repo reuses and extends the atoms/corekern (MicroCoreRT) 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, ensuring architectural homology with no adaptation layer.

Document & File List

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
└── .github/
    └── README.md       # GitHub automation for this leaf repo

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

CI Status

Kernel changes are governed by management-repository workflows (each capped at 2 jobs):

Workflow Jobs Applies to kernel via
ci-kernel.yml kernel-build (Kbuild matrix: 3 configs × 3 arches × 2 compilers = 18, W=2 zero-warning gate) + kernel-verify (checkpatch --strict, sparse C=2, Coccinelle, KUnit on UML, kselftest on QEMU) Triggered on PR / push touching kernel/**
sc-dual-ci.yml sc-validate (verify 6+2 [SC] headers, no duplicates) + sc-trigger-and-await (create & await agentrt mirror PR) Triggered when any kernel/include/airymax/ header changes
nightly.yml nightly-test-suite (seL4-style formal verification on kernel/sched/core.c and airy_ipc.c) + nightly-revert-or-budget Nightly cron
release.yml build-and-sign (kernel RPM + SBOM + GPG/cosign) + publish-release Release tag

Rules referenced: OS-STD-TOOL-161 (matrix), OS-STD-TOOL-160 (checkpatch), OS-STD-TOOL-081-CI (sparse), OS-TEST-001~022 (KUnit + kselftest).

Development Guide

  • Branch: feature/official-hubs-01 (the management repo stays on main).
  • DCO: every commit must be Signed-off-by (git commit -s).
  • Commit prefix: kernel:.
  • Code style: tab-8, 80-column limit (.clang-format); run make format-check.
  • [SC] changes: any edit to kernel/include/airymax/ requires dual CI (agentrt-linux sc-dual-ci.yml + agentrt mirror PR) and L1+L3 maintainer approval per OS-IRON-014.
  • Function prefix: use airy_* (not legacy airymaxos_*).

Upstream & Downstream

  • Upstream — Airymax atoms/corekern; Euler 24.03 LTS / 26.03 standards; Linux 6.6.
  • Downstream — services (user-space daemons on kernel primitives), security (LSM hooks + capability), memory (kernel memory APIs).

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.