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
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
Turning timeout off.
boot>
I tried running "boot bsd.rd" and got the same error. What do?
