On Fri, Dec 12, 2025 at 08:57:01PM -0500, nosuchthingascloud wrote: > 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. >
does a usb keyboard work? > 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.
