OpenBSD 7.9 for Raspberry Pi 4B

This card contains a fully installed system. Before its first boot:

1. Copy YOUR SSH PUBLIC key (for example id_ed25519.pub) into this partition
   and name the copy authorized_keys, with no .txt or .pub extension.
   Never copy your private key. Plain OpenSSH public keys are supported;
   certificates and authorized_keys command/options are not accepted.

2. Optionally copy setup.conf.example to setup.conf and edit the username
   and hostname. Defaults are username=openbsd and hostname=openbsd-rpi4b.

3. Safely eject the card, insert it in a Raspberry Pi 4B, connect Ethernet,
   and power on. Find its address in your router's DHCP leases. The lease
   can initially use openbsd-rpi4b if you chose a different hostname.

4. Connect with: ssh openbsd@PI_ADDRESS
   Substitute your chosen username and the actual DHCP address.
   Use doas -s for a root shell. There is no default password.

If the key or setup file is missing or invalid, SSH stays disabled. Power
off before removing the card, fix the input on another computer, safely
eject, and boot again. Setup messages appear on the serial console at
115200 baud and are logged in /var/log/rpi-firstboot.log.

After setup succeeds, these files are ignored on future boots. You may
remove authorized_keys and setup.conf from this partition after confirming
SSH access. Edit the installed account normally to change access later.

Ethernet uses DHCP and IPv6 autoconfiguration; Wi-Fi is not configured.
The timezone is UTC. No .local name discovery or automatic expansion is
configured. Never redistribute a card after booting/provisioning it:
it now contains a real account, private host keys, and machine state.

This is an unofficial image derived from the OpenBSD 7.9 release.
See the accompanying release README and SHA256 manifest for capacity,
flashing instructions, and the exact checks performed for this build.
