On Tue, Dec 30, 2025 at 11:41:05PM +0000, requiem. wrote: > But whether this edited BIOS is broken, I don't quite know -- I am typing > this message from the machine in question under NetBSD11 and I am > encountering no problems with booting or indeed the non-stock WiFi > peripherals... So I am left thinking this is an OpenBSD-specific problem.
Out of curiosity, did the wmihp0 device work correctly before the change to the bios? This is an acpi-based device, and from the NetBSD dmesg you supplied, it attaches but then reports errors: > [ 1.023181] wmihp0 at acpiwmi0: HP WMI mappings > [ 1.023181] wmihp0: autoconfiguration error: failed to get data for event > 0x80: AE_BAD_DATA Now booting OpenBSD with the replacement bios you are encountering what seem to be acpi-related issues. > Just brwowsing through the dmesg I notice the CMOS clock is way off. > Possibly a dead battery. Would that cause issues? Probably not the cause of this specific problem, but in general a faulty CMOS battery can potentially cause all sorts of non-obvious and difficult to identify issues, so if you can replace it that would probably be a good idea. > Any further ways you can suggest to debug? For testing purposes only and to try to gather more information, can you try booting the OpenBSD installer and disabling the acpi driver in the bootloader?
