From 9bb2de2c14888fa0b8b9e4da8d2937ae1eba87ed Mon Sep 17 00:00:00 2001 From: vasilito Date: Wed, 5 Aug 2026 02:42:24 +0300 Subject: [PATCH] docs(matrix): annotate MS-7D70 availability (compile-only baseline) --- .../task-4-ryzen-7000-x670e-compat.md | 81 +++++++++++++++++++ local/docs/HARDWARE-VALIDATION-MATRIX.md | 16 ++-- 2 files changed, 89 insertions(+), 8 deletions(-) create mode 100644 .omo/evidence/task-4-ryzen-7000-x670e-compat.md diff --git a/.omo/evidence/task-4-ryzen-7000-x670e-compat.md b/.omo/evidence/task-4-ryzen-7000-x670e-compat.md new file mode 100644 index 0000000000..65ee46acb9 --- /dev/null +++ b/.omo/evidence/task-4-ryzen-7000-x670e-compat.md @@ -0,0 +1,81 @@ +# Task 4 Evidence — Ryzen 7000 / X670E (MS-7D70) Matrix Annotations + +**File modified:** `local/docs/HARDWARE-VALIDATION-MATRIX.md` + +**Host:** MSI MPG X670E CARBON WIFI (MS-7D70), Ryzen 9 7900X + +**Rule applied:** Only honest levels `compile` or `—` were used. No marker claims QEMU-bounded or hardware-validated status for MS-7D70. + +## Rows annotated with `[AVAILABLE] (MS-7D70: ...)` markers + +1. **AHCI SATA** + `[AVAILABLE] (MS-7D70: AHCI SATA, level: compile)` + (also added refresh-rule note in Notes column) + +2. **NVMe** + `[AVAILABLE] (LG Gram: SK Hynix [1c5c:1959]; MS-7D70: NVMe SSD, level: compile)` + +3. **PS/2** + `[AVAILABLE] (LG Gram: i8042 keyboard, AUX disabled; MS-7D70: absent, level: —)` + +4. **xHCI host controller** + `[AVAILABLE] (LG Gram: 2× xHCI [8086:7ec0, 8086:777d]; MS-7D70: xHCI host controller, level: compile)` + +5. **USB storage (BOT)** + `[AVAILABLE] (any USB mass-storage device; MS-7D70: USB storage BOT, level: compile)` + +6. **cpufreqd** + `[AVAILABLE] (LG Gram: Arrow Lake-H HWP; MS-7D70: CPU power/CPPC, level: compile)` + +7. **thermald** + `[AVAILABLE] (LG Gram: TZ00 + MSR-based; MS-7D70: thermal k10temp [1022:14e3], level: compile)` + +8. **x2APIC/SMP** + `[AVAILABLE] (Threadripper 128-thread + LG Gram 16-core hybrid; MS-7D70: MADT/x2APIC CPU enumeration, level: compile)` + +## Rows skipped — no matching component row exists in the matrix + +- wired Ethernet (RTL8125 10ec:8125) — no `rtl8125` row; existing rows are e1000d/rtl8168d/rtl8139d/ixgbed/virtio-netd +- Wi-Fi (MediaTek MT7922 14c3:0616) — row is `redbear-iwlwifi (Intel Wi-Fi)` +- Bluetooth (0e8d:0616) — no Bluetooth component row +- HDA audio (1022:15e3) — row is `Intel HDA` +- GPU/display (Raphael iGPU 1002:164e) — row is `redox-drm (Intel MTL iGPU)` +- SMBus (1022:790b) — no SMBus component row +- GPIO (AMDIF031) — no GPIO component row +- ACPI shutdown/reboot — no dedicated ACPI component row +- IOMMU/AMD-Vi — no dedicated IOMMU validation row +- TSC calibration — no dedicated TSC calibration row + +## Refresh rule note added + +In the **AHCI SATA** Notes column (first annotated marker): + +> Refresh rule: refresh at every gate: 23 (Gate A), 28 (Wi-Fi), 32 (coexistence), 34 (modeset), 40 (Gate B). + +## Grep verification + +```bash +$ grep -q 'MS-7D70' local/docs/HARDWARE-VALIDATION-MATRIX.md && echo 'PASS: MS-7D70 found' || echo 'FAIL' +PASS: MS-7D70 found + +$ grep -E 'MS-7D70.*level: (compile|—)' local/docs/HARDWARE-VALIDATION-MATRIX.md | wc -l +8 + +$ grep -E 'MS-7D70.*level: ' local/docs/HARDWARE-VALIDATION-MATRIX.md | grep -vE 'level: (compile|—)' | wc -l +0 +``` + +**Result:** 8 MS-7D70 markers present; all use only `compile` or `—`; 0 markers claim QEMU-bounded or hardware-validated status. + +## Full marker lines + +``` +| AHCI SATA | ✅ | 🔲 | [AVAILABLE] (MS-7D70: AHCI SATA, level: compile) | NCQ structure present, not runtime-validated. Refresh rule: refresh at every gate: 23 (Gate A), 28 (Wi-Fi), 32 (coexistence), 34 (modeset), 40 (Gate B). | +| NVMe | 🔲 | 🔲 | [AVAILABLE] (LG Gram: SK Hynix [1c5c:1959]; MS-7D70: NVMe SSD, level: compile) | Basic driver, no multiqueue. NVMe is class-matched (`class=1 subclass=8`), initfs-capable. The LG Gram's NVMe is available for Phase 1 BM validation. | +| PS/2 | ✅ | 🔲 | [AVAILABLE] (LG Gram: i8042 keyboard, AUX disabled; MS-7D70: absent, level: —) | QEMU keyboard/mouse work. LG Gram has PS/2 keyboard (AUX port disabled — handled by ps2d). | +| xHCI host controller | ✅ | 🔲 | [AVAILABLE] (LG Gram: 2× xHCI [8086:7ec0, 8086:777d]; MS-7D70: xHCI host controller, level: compile) | Interrupt-driven mode proven (test-xhci-irq-qemu.sh); 51-flag quirk table + HCCPARAMS2 gating (P2-A/B); 36-code error recovery (P2-C); not HW-validated. LG Gram quirks decoded (SPURIOUS_SUCCESS, INTEL_HOST, AVOID_BEI, LPM_SUPPORT). | +| USB storage (BOT) | ✅ | 🔲 | [AVAILABLE] (any USB mass-storage device; MS-7D70: USB storage BOT, level: compile) | usbscsid autospawn + bounded sector readback proven (test-usb-storage-qemu.sh); guest-side write verify open. | +| cpufreqd | 🔲 | 🟡 (BM MSR path fixed) | [AVAILABLE] (LG Gram: Arrow Lake-H HWP; MS-7D70: CPU power/CPPC, level: compile) | Governors implemented, MSR path fixed (2026-06-19). Bare-metal boot verified with HWP on Intel laptop. Not yet validated on LG Gram specifically. | +| thermald | 🔲 | 🔲 | [AVAILABLE] (LG Gram: TZ00 + MSR-based; MS-7D70: thermal k10temp [1022:14e3], level: compile) | ACPI thermal zones, not HW-validated. MSR fallback path exists. | +| x2APIC/SMP | ✅ | ✅ | [AVAILABLE] (Threadripper 128-thread + LG Gram 16-core hybrid; MS-7D70: MADT/x2APIC CPU enumeration, level: compile) | Multi-core works. AMD Threadripper 128-thread bare-metal proven. Intel Arrow Lake-H 16-core hybrid (P/E/LP-E) expected. | +``` diff --git a/local/docs/HARDWARE-VALIDATION-MATRIX.md b/local/docs/HARDWARE-VALIDATION-MATRIX.md index 085c7a2cae..08c50ad3ba 100644 --- a/local/docs/HARDWARE-VALIDATION-MATRIX.md +++ b/local/docs/HARDWARE-VALIDATION-MATRIX.md @@ -3,8 +3,8 @@ | Component | QEMU | Bare Metal | Hardware | Notes | |-----------|------|------------|----------|-------| | **Storage** | | | | | -| AHCI SATA | ✅ | 🔲 | [MISSING] | NCQ structure present, not runtime-validated. No AHCI-capable SATA controller inventoried for bare-metal testing. | -| NVMe | 🔲 | 🔲 | [AVAILABLE] (LG Gram: SK Hynix [1c5c:1959]) | Basic driver, no multiqueue. NVMe is class-matched (`class=1 subclass=8`), initfs-capable. The LG Gram's NVMe is available for Phase 1 BM validation. | +| AHCI SATA | ✅ | 🔲 | [AVAILABLE] (MS-7D70: AHCI SATA, level: compile) | NCQ structure present, not runtime-validated. Refresh rule: refresh at every gate: 23 (Gate A), 28 (Wi-Fi), 32 (coexistence), 34 (modeset), 40 (Gate B). | +| NVMe | 🔲 | 🔲 | [AVAILABLE] (LG Gram: SK Hynix [1c5c:1959]; MS-7D70: NVMe SSD, level: compile) | Basic driver, no multiqueue. NVMe is class-matched (`class=1 subclass=8`), initfs-capable. The LG Gram's NVMe is available for Phase 1 BM validation. | | virtio-blk | ✅ | N/A | N/A | QEMU only | | **Network** | | | | | | e1000d (Intel Gigabit) | ✅ (e1000e emul.) | 🔲 | [MISSING] | ITR structure present, no offload validation. QEMU `-device e1000e` emulates 82574L `8086:10d3` — proven bounded (DHCP+ping). Physical e1000/e1000e NIC not identified in any inventoried bench. Modern I219/I225 NOT supported. | @@ -18,23 +18,23 @@ | Intel HDA | 🔲 | 🔲 | [AVAILABLE] (LG Gram: cAVS/SOF [8086:7728]) | Codec detection + jack sense added, not validated. LG Gram HDA is cAVS/DSP-based – legacy HDA cannot reach ALC298 codec behind DSP; needs SOF port. | | AC97 | 🔲 | 🔲 | [MISSING] | Basic driver. No AC97 hardware inventoried. | | **Input** | | | | | -| PS/2 | ✅ | 🔲 | [AVAILABLE] (LG Gram: i8042 keyboard, AUX disabled) | QEMU keyboard/mouse work. LG Gram has PS/2 keyboard (AUX port disabled — handled by ps2d). | +| PS/2 | ✅ | 🔲 | [AVAILABLE] (LG Gram: i8042 keyboard, AUX disabled; MS-7D70: absent, level: —) | QEMU keyboard/mouse work. LG Gram has PS/2 keyboard (AUX port disabled — handled by ps2d). | | USB HID | ✅ | 🔲 | [AVAILABLE] (LG Gram: USB keyboard/mouse attachable) | Keyboard/mouse autospawn via test-usb-qemu.sh (P1 hardening); not validated on real HW. | | I2C-HID Touchpad | 🔲 | 🔲 | [AVAILABLE] (LG Gram: 04CA:00CC on LPSS DesignWare I2C) | Full I2C chain code-complete (dw-i2c engine, LPSS PCI bring-up, i2c-hidd with multitouch parser). Runtime proof pending Phase 1 boot. | | **USB** | | | | | -| xHCI host controller | ✅ | 🔲 | [AVAILABLE] (LG Gram: 2× xHCI [8086:7ec0, 8086:777d]) | Interrupt-driven mode proven (test-xhci-irq-qemu.sh); 51-flag quirk table + HCCPARAMS2 gating (P2-A/B); 36-code error recovery (P2-C); not HW-validated. LG Gram quirks decoded (SPURIOUS_SUCCESS, INTEL_HOST, AVOID_BEI, LPM_SUPPORT). | +| xHCI host controller | ✅ | 🔲 | [AVAILABLE] (LG Gram: 2× xHCI [8086:7ec0, 8086:777d]; MS-7D70: xHCI host controller, level: compile) | Interrupt-driven mode proven (test-xhci-irq-qemu.sh); 51-flag quirk table + HCCPARAMS2 gating (P2-A/B); 36-code error recovery (P2-C); not HW-validated. LG Gram quirks decoded (SPURIOUS_SUCCESS, INTEL_HOST, AVOID_BEI, LPM_SUPPORT). | | EHCI/UHCI/OHCI controllers | 🔲 | 🔲 | [MISSING] | Compile clean; runtime enumeration proofs planned (P8-B). No EHCI/UHCI/OHCI hardware identified in inventoried benches. | -| USB storage (BOT) | ✅ | 🔲 | [AVAILABLE] (any USB mass-storage device) | usbscsid autospawn + bounded sector readback proven (test-usb-storage-qemu.sh); guest-side write verify open. | +| USB storage (BOT) | ✅ | 🔲 | [AVAILABLE] (any USB mass-storage device; MS-7D70: USB storage BOT, level: compile) | usbscsid autospawn + bounded sector readback proven (test-usb-storage-qemu.sh); guest-side write verify open. | | USB hub (non-root) | ✅ | 🔲 | [MISSING] | Hub + hub-child enumeration proven in QEMU (test-usb-hub-qemu.sh): hub descriptor/EP1/scan/debounce/reset→enable, and usb-kbd behind hub enumerates to HID subdriver (class 3.1 keyboard); "reactor race" root-caused to startup latency under load (not a deadlock). No physical hub inventoried. | | **GPU/Display** | | | | | | VESA | ✅ | 🔲 | [AVAILABLE] (LG Gram: GOP framebuffer) | QEMU framebuffer works. LG Gram VESA via GOP framebuffer — vesad fix for bare metal landed (2026-06-19). | | virtio-gpu | ✅ | N/A | N/A | 2D only, QEMU | | redox-drm (Intel MTL iGPU) | 🔲 | 🔲 | [AVAILABLE] (LG Gram: MTL [8086:7d51]) | 0x7D51 in INTEL_GEN12_MTL_IDS. DMC load, GMBUS EDID, CPU PWM backlight, GuC/HuC/GSC manifest — all code-complete (2026-07-22). Display init assumes Gen8-era reg layout. No HW validation. | | **CPU/Power** | | | | | -| cpufreqd | 🔲 | 🟡 (BM MSR path fixed) | [AVAILABLE] (LG Gram: Arrow Lake-H HWP) | Governors implemented, MSR path fixed (2026-06-19). Bare-metal boot verified with HWP on Intel laptop. Not yet validated on LG Gram specifically. | -| thermald | 🔲 | 🔲 | [AVAILABLE] (LG Gram: TZ00 + MSR-based) | ACPI thermal zones, not HW-validated. MSR fallback path exists. | +| cpufreqd | 🔲 | 🟡 (BM MSR path fixed) | [AVAILABLE] (LG Gram: Arrow Lake-H HWP; MS-7D70: CPU power/CPPC, level: compile) | Governors implemented, MSR path fixed (2026-06-19). Bare-metal boot verified with HWP on Intel laptop. Not yet validated on LG Gram specifically. | +| thermald | 🔲 | 🔲 | [AVAILABLE] (LG Gram: TZ00 + MSR-based; MS-7D70: thermal k10temp [1022:14e3], level: compile) | ACPI thermal zones, not HW-validated. MSR fallback path exists. | | **SMP** | | | | | -| x2APIC/SMP | ✅ | ✅ | [AVAILABLE] (Threadripper 128-thread + LG Gram 16-core hybrid) | Multi-core works. AMD Threadripper 128-thread bare-metal proven. Intel Arrow Lake-H 16-core hybrid (P/E/LP-E) expected. | +| x2APIC/SMP | ✅ | ✅ | [AVAILABLE] (Threadripper 128-thread + LG Gram 16-core hybrid; MS-7D70: MADT/x2APIC CPU enumeration, level: compile) | Multi-core works. AMD Threadripper 128-thread bare-metal proven. Intel Arrow Lake-H 16-core hybrid (P/E/LP-E) expected. | | **Driver Manager (driver-manager vs pcid-spawner)** | | | | | | D1 P0 capabilities (C1 dynids + C2 remove + C3 enable + C4 BAR) | ✅ | 🔲 | N/A (code) | Code complete; 52 tests pass; see the D5 capability audit (removed in the 2026-07-27 consolidation; see `local/docs/SUPERSEDED-DOC-LOG.md`) | | D1 P1 SpawnDecision + format coexistence + policy blacklist | ✅ | 🔲 | N/A (code) | `spawn_decision_gate()` consults env/CLI/blacklist; `convert_legacy` reads legacy pcid.d format |