Skip to content

Hardware Readiness Gate

André Borchert edited this page Jun 14, 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.

OSAI 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 osai.qemu.correctness_benchmark.v1. The preview schema is osai.qemu.preview.v1. The CPU matrix schema is osai.qemu.cpu_matrix.v1. The readiness schema is osai.qemu.hardware_readiness_gate.v1. The frozen QEMU release-candidate contract schema is osai.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 osai.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 command profiles.

Out of Scope Before Intel

The QEMU release-candidate gate intentionally does not claim:

  • performance wins against Linux or BSD;
  • complete x86_64 full OS contract parity beyond the milestone 43-48 bring-up path;
  • 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.
  • Initial tuned Linux/BSD baseline plan for later measured comparisons.

Related Pages

Clone this wiki locally