Can you do a dmesg and look at what doesn't have drivers?
_________________________ Life will be better once the Republicans move to Mars. _________________________ FIRE TRUMP! On Sat, Dec 13, 2025, 3:06 PM Mike Larkin <[email protected]> wrote: > 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. > >
