On Mon, Jan 05, 2026 at 10:20:17AM +0000, Crystal Kolipe wrote: > On Mon, Jan 05, 2026 at 02:05:48AM -0800, Mike Larkin wrote: > > On Sun, Jan 04, 2026 at 01:50:35PM +0000, requiem. wrote: > > > OpenBSD boots fine with the SSD installed (on stock BIOS), the BIOS (all > > > versions - F.13; F.16 patched and unpatched) detects it correctly, BIOS > > > HDD self-tests pass. > > > > > > > I am getting lost in this discussion. > > > > If you have a scenario where OpenBSD boots fine, then what are we diagnosing > > here? > > OpenBSD boots fine with the vendor BIOS. > > The vendor BIOS prevents the use of the OP's desired wifi card. > > An alternative BIOS image allows the use of the OP's desired wifi card. > > OpenBSD does not boot with the alternative BIOS, almost certainly due to > limitations of our ACPI table parsing code. > > This matters from an OpenBSD viewpoint, since any BIOS out there in the wild > could also provide a similar funky ACPI table and prevent the OpenBSD kernel > from booting.
Thanks for the recap. I agree with kettenis. Putting in a workaround for this really old and hacked up bios is probably not the right way forward. Appreciate Crystal's offer to work off-list with requiem to fix as a local patch.
