OpenBSD/arm64 is a port of OpenBSD to various 64-bit ARM based systems.
A mailing list for ARM-based ports is available at
To join the OpenBSD/arm mailing list, send a message body of
"subscribe arm" to
Please be sure to check our mailing list policy before
The current target platforms are Rockchip RK3399, Allwinner A64/H5, Raspberry Pi 3 and Opteron A1100.
The install media includes firmware required to boot the Pine 64/64+ and Raspberry Pi.
The Raspberry Pi 3 requires closed but redistributable files on the system disk to load into the VC4 GPU which starts the ARM cores. By default the boot ROM will only try to load these files off an SD card. These files are present in the install media but there is no driver for SD/MMC yet so a USB disk drive and manual steps are required. To load the firmware off the SD card and have the root disk on USB after installing OpenBSD reboot and interrupt U-Boot before the timeout expires and instruct U-Boot to prefer USB over the SD card:
Hit any key to stop autoboot: 0 U-Boot> setenv boot_targets usb0 mmc0 pxe dhcp U-Boot> saveenv U-Boot> boot
Opteron A1100 machines on the other hand come with a UEFI firmware that includes a device tree and can boot off SATA or USB devices without board specific boot files on the system disk.
All other machines that lack UEFI firmware require additional steps to create bootable install media. See the OpenBSD/arm64 snapshot installation instructions for further details.
OpenBSD/arm64 bundles various platforms sharing the 64-bit ARM architecture. Due to the fact that there are many System on a Chips (SoC) around, OpenBSD/arm64 differentiates between various SoCs and may have a different level of support between them.
Snapshots are made available from time to time, in this location as well as in a few mirrors. Here are the OpenBSD/arm64 snapshot installation instructions as well.