Skip to content

Hardware Readiness Gate

Node1 edited this page Jun 18, 2026 · 11 revisions

Hardware Readiness Gate

Purpose

This page defines the gate between the QEMU on macOS correctness track and the first Intel Desktop hardware bring-up.

XAI OS must not treat QEMU results as hardware performance evidence. QEMU validates boot contracts, resource ownership, userspace control flow, telemetry shape, security policy behavior, persistence metadata, and preview packaging.

QEMU Gates

The milestone 33 local QEMU hardware-readiness gate is:

  • make qemu-readiness-gate

That command runs the full local QEMU matrix and then validates the generated artifacts. It writes:

  • build/qemu-benchmark-report.json
  • build/qemu-preview-manifest.json
  • build/qemu-cpu-matrix-report.json
  • build/qemu-readiness-report.json

The benchmark schema is xaios.qemu.correctness_benchmark.v1. The preview schema is xaios.qemu.preview.v1. The CPU matrix schema is xaios.qemu.cpu_matrix.v1. The readiness schema is xaios.qemu.hardware_readiness_gate.v1. The frozen QEMU release-candidate contract schema is xaios.qemu.release_candidate_contract.v1.

These reports are correctness artifacts only and explicitly do not authorize Linux, BSD, or hardware performance claims.

The milestone 42 full OS release-candidate gate is:

  • make qemu-full-os-rc

That command runs make qemu-readiness-gate, validates the generated reports, checks the source syscall/capability ABI against the frozen contract, and writes:

  • build/qemu-full-os-rc-report.json

The full OS RC report schema is xaios.qemu.full_os_release_candidate.v1. Intel Desktop implementation starts only after that report has status=pass and qemu_full_os_complete=true.

Frozen QEMU Contracts

The following contracts must remain green before Intel Desktop work starts:

  • AArch64 UEFI loader boots the kernel.
  • UEFI memory map is parsed into PMM/VMM state.
  • Controlled page, read-only write, and NX execute faults are reported through the exception path.
  • Real EL0 /init ELF loads from the VirtIO-backed read-only filesystem.
  • Syscalls enforce capability checks and user pointer validation.
  • Syscall ABI, telemetry schema, read-only initramfs format, persistence record format, and service descriptor format are frozen in contracts/qemu-rc-v1.json.
  • Security policy enforces capabilities, filesystem boundaries, workspace and sandbox ownership, rollback authorization, credential rejection, and signed-update format validation.
  • Persistence metadata snapshots and rolls back boot, service, workspace, and sandbox records.
  • VirtIO block and VirtIO net self-tests pass.
  • AI Cell lifecycle, core leases, shared model arena, private KV/cache, source index, Git workspace, sandbox, CPU-AI runtime, and low-latency network smoke paths emit telemetry.
  • Hot AI core telemetry reports zero migration and zero involuntary context switches under the QEMU gate.
  • CPU matrix tiers validate the default ARM64 host/HVF smoke path, ARM64 TCG boot probes, and Intel/AMD x86_64 smoke-boot profiles.
  • Post-51 QEMU-only hardening validates regression coverage, fault injection, ABI contracts, deterministic boot loops, userspace control-plane behavior, networking behavior, CPU-only AI runtime behavior, and developer UX through make qemu-post51-gate.

Out of Scope Before Intel

The QEMU release-candidate gate intentionally does not claim:

  • performance wins against Linux or BSD;
  • measured x86_64 hardware performance evidence beyond the milestone 43-51 QEMU correctness gate;
  • Intel APIC interrupt routing, HPET, TSC-deadline timers, PCIe, NVMe, and NIC hardware drivers;
  • production update signing and key management;
  • a production mutable filesystem;
  • production tokenizer/model runtimes beyond the QEMU CPU-only deterministic model format;
  • network throughput benchmarking;
  • multi-user security policy and remote administration hardening.

Intel Desktop Entry Criteria

Intel Desktop bring-up can start when:

  • make qemu-full-os-rc passes locally.
  • The QEMU full OS RC report exists and has qemu_full_os_complete=true.
  • make qemu-readiness-gate passes locally.
  • The QEMU preview manifest exists.
  • The QEMU benchmark report exists.
  • The QEMU CPU matrix report exists.
  • The QEMU readiness report exists and has status pass.
  • The QEMU RC contract exists and remains frozen.
  • No QEMU benchmark result is described as a hardware speedup.
  • The platform and benchmark documentation reflect the current gate.

First Intel Desktop Deliverables

  • UEFI x86_64 boot path: milestone 43 gate is make qemu-x86_64-smoke.
  • Serial console and early exception reporting: milestone 44 gate is make qemu-x86_64-smoke.
  • PMM/VMM initialization from x86_64 firmware memory maps: milestones 45 and 46 gate through make qemu-x86_64-smoke.
  • APIC and timer discovery: milestone 47 gate is make qemu-x86_64-smoke.
  • PCI discovery for NVMe and NIC planning: milestone 48 gate is make qemu-x86_64-smoke.
  • P-core/E-core placement policy metadata: milestone 49 gate is make intel-desktop-gate.
  • x86_64 OS contract parity marker: milestone 50 gate is make intel-desktop-gate.
  • Intel Desktop hardware gate report: milestone 51 gate is make intel-desktop-gate.
  • Initial tuned Linux/BSD baseline plan for later measured comparisons remains required before hardware performance claims.

Related Pages

Clone this wiki locally