On 2025-12-08 13:14, Mike Larkin wrote:
On Sun, Dec 07, 2025 at 11:18:28AM +0100, Mark Kettenis wrote:
I don't know anything about this machine but yes, booting in ACPI mode
first is the very first step we would need. OP, please do that and
report back with a dmesg.
-ml
To get the machine working properly, we need to add the device tree
for this machine to the arm64-qcom-dtb package and add a line to the
OpenBSD bootloader to load it. But for that we need to see a dmesg
from the machine first.
Cheers,
Mark
I tried a couple of things to get it to boot, but no luck.
To avoid the bootloop situation you can spam Esc, Use F10 to get into
UEFI Bios, Disable SecureBoot, then save, spam Esc again, use F9 and
force boot from the OpenBSD flash drive. This allows to get me to the
point where there is a "boot>" prompt, but it freezes and there is no
keyboard responses. I cannot type additional options in order to try
verbose debugging, or kernel config since the system is totally
unresponsive at that point.
I noticed there was a recent commit supporting
x1e80100-hp-elitebook-ultra-g1q.dtb, is there a way for me to help test
it? Mounting the install78.img I can see the installers boot partition
contains .dtb for various RPis.
https://github.com/openbsd/ports/commit/0893a87f6634428aeae0f130eb472583ca68c543
Thanks again.
