Skip to content
André Borchert edited this page Aug 12, 2026 · 36 revisions

XAIOS

XAIOS is a freestanding Unix-like operating system for dedicated AI and high-performance server workloads. It boots on AArch64 and x86_64 under QEMU, provides a native kernel/userspace ABI, persistent filesystems, IPv4/IPv6, OpenSSH-compatible SSH/SFTP, local and remote shells, administration controls, and a portable inference-engine foundation.

XAIOS is not Linux or FreeBSD and does not run their binaries. FreeBSD is the primary Unix behavior reference for commands and network interoperability.

Use XAIOS

  1. Follow Getting Started to build and boot an image.
  2. Read Boot and Console for startup and local login.
  3. Connect through Networking and SSH.
  4. Use the shell surface in Commands and executable programs in Applications.
  5. Manage the system through Administration.
  6. Install signed applications through xapt Package Updates.

Implemented OS surface

  • AArch64 and x86_64 UEFI boot under QEMU.
  • Runtime-sized CPU, cpuset, scheduler, NUMA, and process metadata.
  • EL0 processes and threads with capability-checked syscalls.
  • VirtIO block/network/RNG plus focused emulated NVMe and SMMUv3 gates.
  • MutableFS for bounded writable state and ModelFS for immutable model data.
  • IPv4, IPv6, TCP, UDP, DNS, reassembly, and SACK-aware transport behavior.
  • Concurrent SSH sessions, SFTP, outbound SSH/SCP, and authenticated local console sessions in explicitly provisioned development images.
  • FreeBSD-style command behavior, archive exchange, nano, less, htop, and terminal Pong.
  • Typed xaiosctl administration for status, configuration, identity, audit, storage, and model-package lifecycle operations.
  • Signed xapt catalogs, independent application activation and rollback, and streamed A/B OS updates.

Evidence boundary

The ARM and x86_64 QEMU core-OS correctness gates pass. QEMU proves boot, protocol, ABI, and deterministic behavior; it does not prove physical hardware performance, production security, or real-model inference. No real Qwen, Kimi, or DeepSeek checkpoint has passed end-to-end token and logits parity.

See Current Limitations for explicit non-claims and the single Project Tracker for remaining work.

Documentation

Operate the OS

Understand and validate it

Repository reference documents

The Wiki is the human-readable entry point. Detailed versioned specifications and API contracts remain in the source repository:

Source repository | API reference | License

Clone this wiki locally