Update: I tried using the latest snapshot of 7.9, and, after running fw_update, everything works now.
I should probably have tried that before making this thread, but whatever. On Sun, May 3, 2026 at 11:23 AM Michael Chuchev <[email protected]> wrote: > > Whoops, I forgot to cc to the mailing list. My bad. > > I checked, and secure boot has already been disabled. > > On Sun, May 3, 2026 at 8:55 AM harold felton <[email protected]> wrote: > > > > > > > > On Sat, May 2, 2026 at 12:53 PM Michael Chuchev <[email protected]> > > wrote: > >> > >> Per INSTALL.arm64, OpenBSD 7.8 supports the Lenovo ThinkPad X13s Gen 1. > >> There do not appear to be any special pre-install steps. > >> So I went and put install78.img onto a USB, and tried to boot the > >> installer. > >> It fails, with the following output: > >> > >> disks: sd0* sd1 sd2 > >> >> OpenBSD/arm64 BOOTAA64 1.22 > >> boot> > >> cannot open sd0a:/etc/random.seed: No such file or directory > >> booting sd0a:/bsd: sd0a:/bsd: Inappropriate file type or format > >> failed(79). will try /bsd > > > > silly q. did you disable secure-boot in the bios ? > > > > i had played with it back in the 7.2/7.3 era - but when my original laptop > > fell in the water - the unit i got back had a slightly-different processor > > and so the boot process didnt recognize it... technically, im typing (from > > win11) on it atm - so i could try again - but just thought id ask the > > semi-obvious q. (secure-boot) to make sure... > > > > gl, h. > > > > https://www.reddit.com/r/openbsd/comments/13b18i4/level_of_support_for_the_thinkpad_x13s
