{
  "finding_id": "DF-5444",
  "title": "pnp_set_config() panics on card-supplied misaligned memory base (MEMORY32_RANGE/FIXED without granularity clamp)",
  "verdict": "reproduced",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "(cd /usr/src/sys/bus/isa/hack_dfb && make obj && make depend && make)",
    "run": "kldload /usr/obj/usr/src/sys/bus/isa/hack_dfb/rigdfb.ko",
    "expected": "baseline: 'panic: pnp_set_config: bogus memory assignment' (trace through isa_assign_resources/isa_driver_added); fixed kernel: RC=0 + \"can't assign resources (memory)\""
  },
  "kernel_refs": [
    "sys/bus/isa/pnp.c:260-261",
    "sys/bus/isa/pnpparse.c:295-300",
    "sys/bus/isa/pnpparse.c:323-328",
    "sys/bus/isa/isa_common.c:128-148"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "verdict.json", "manifest.json",
    "rig/ (shared harness; see DF-5443 pack for file list)",
    "panic.txt", "serial_runB_full.log", "fix_run.log", "env.txt"
  ]
}