[jdpuller]

I am trying to install OpenBSD 7.0 on a Dell Wyse 3040 (Intel Atom x86_64, eMMC). Rebooting after the install hangs at the line:

acpitz on acpi0

Using boot -c results in the usb keyboard input not working at the UKC> prompt. I can disable acpitz on a kernel running in a virtualmachine and copy the kernel over, but then it hangs at the prompt:

root device:

Again with no usb keyboard input (boot -a results in the same).

I've tried different usb ports with two different functioning USB keyboards which work at the boot> prompt and during install, just not at the UKC>/root device: prompts. PS/2 keyboard input and serial input are not available on this hardware. The root device is eMMC, which is probably why the kernel built in the virtual machine can't find the path/UID of the root device. In the BIOS, there don't appear to be any options related to enabling/disabling ACPI or temperature monitoring. Also nothing relating to a "legacy" USB mode.

Is there another way to install a kernel on this machine with acpitz disabled?