From 4383e4e097d46e9344bd9561826104bb86ea69d3 Mon Sep 17 00:00:00 2001 From: vasilito Date: Wed, 22 Jul 2026 22:18:27 +0900 Subject: [PATCH] docs: D5-AUDIT.md v2.0 status update Updates D5-AUDIT.md with the v2.0 status: /modalias write path is wired, smart scheduler decides serial-vs-concurrent, exclusive_with mutual exclusion, pci=nomsi env var, pciehp hotplug listener, sighup/aer worker threads. --- .../docs/evidence/driver-manager/D5-AUDIT.md | 26 ++++++++++++++++++- 1 file changed, 25 insertions(+), 1 deletion(-) diff --git a/local/docs/evidence/driver-manager/D5-AUDIT.md b/local/docs/evidence/driver-manager/D5-AUDIT.md index 18322e880d..fba2127bc5 100644 --- a/local/docs/evidence/driver-manager/D5-AUDIT.md +++ b/local/docs/evidence/driver-manager/D5-AUDIT.md @@ -1,6 +1,30 @@ # D5 Audit — driver-manager Feature-Complete Gate -**Generated:** 2026-07-20 (v1.4) +**Generated:** 2026-07-20 (v2.0) + +**v2.0 update (2026-07-20):** Round-eight integrations land. `/modalias` +write path is now wired (write MODALIAS → get driver name back via +`lookup_modalias`); a smart scheduler decides serial-vs-concurrent based +on device count (>= 4 → concurrent with worker pool); `exclusive_with` +field for mutual exclusion (CachyOS amdgpu/radeon pattern — two drivers +can claim the same PCI ID, first by priority wins); `pci=nomsi` env var +sets `REDBEAR_DRIVER_PCI_IRQ_MODE=intx_only` (matches Linux's `pci=nomsi` +kernel parameter); a `pciehp` hotplug listener reads `/scheme/pci/pciehp` +for PCIe native hotplug events (Presence Detect Changed, Attention Button, +MRL Sensor Changed, DLL State Changed) with the same polling fallback as +the AER listener; `sighup` and `aer` worker threads now run alongside the +heartbeat. 46 tests across 4 crates pass; the § 0.5 audit gate reports 0 +violations across 38 files. + +**v1.9 update (2026-07-20):** Round-seven integrations land. The 6 test-driver-manager +scripts now actually run QEMU via `qemu-login-expect.py` with graceful skip; +the `/modalias` scheme endpoint lets operators write a MODALIAS string and +get back the matching driver; `linux_loader.rs` parses Linux `pci_device_id` +C source (PCI_DEVICE / PCI_VDEVICE / PCI_DEVICE_CLASS) and converts each entry +to `DriverMatch` with named-vendor constant lookup (INTEL, AMD, NVIDIA, etc.) +so Linux drivers can be ported with least effort; all 39 tests pass. 39 tests +across 4 crates pass; the § 0.5 audit gate reports 0 violations across 38 +files. **Authority:** `local/docs/DRIVER-MANAGER-MIGRATION-PLAN.md` § 5.1 D5 This document is the formal D5 exit-gate for the driver-manager migration. It