On Sat, Apr 11, 2026 at 01:58:19PM +0000, wordthinker wrote:
Dear all,
Happy Easter! As a long-time Linux user, I've grown towards openbsd over
the past year, first with servers, and later for routers and desktops as
well. I've had some sysadmin experience on a vps and I've run a few
virtual machines both as a desktop and a server. I tried installing the
os a few times on a thinkpad and a raspberry pi both with little
success. My most recent attempt, this past week, with the raspberry pi
yielded the following results:
sudo dd if=miniroot78.img of=/dev/disk4 status=progress
The miniroot failed to configure an internet connection over ethernet
during the install in order to fetch the filesets, and I was having some
trouble installing them from a usb drive, though I may try again.
Perhaps it was a bad cable.
I verified the checksum of install78.img, and flashed it to the sd card
(sudo dd if=install78.img of=/dev/rdisk4 bs=1m). It gets to the "boot> "
prompt, but no further. It seems like a filesystem error. Should I
format the card and dd the image to a partition?
Have you tried this advice from the INSTALL.arm64 instructions:
"Alternatively the system can be booted using UEFI firmware found at
https://github.com/pftf/RPi4. Follow their instructions to install to
an
SD card and run the OpenBSD installer from USB. v1.21 is known to
work;
some newer versions may have problems."
I realize this may be a simple issue, but I'm currently at my wit's end.
If it makes any diference, the microsd card is a cheap 64gb one from
walmart, and I'm connected to the pi through a usb-ttl serial console
using the command recommended by INSTALL.arm64. I didn't get a
dmesg output from the miniroot.img environment, though I can
boot into it within the next day or two to get that if it would
help.
