vasilito/RedBear-OS
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs: D5-AUDIT.md v2.0 status update

Browse Source 
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.
This commit is contained in:
vasilito
2026-07-22 22:18:27 +09:00
parent e0e22aa58e
commit 4383e4e097
1 changed files with 25 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
local/docs/evidence/driver-manager/D5-AUDIT.md
+25 -1
View File
@@ -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