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 Firefly-RK3399, Pine64, Raspberry Pi 3 and Opteron A1100.
The Pine64 currently requires an image based on a non-redistributable boot0 file from Allwinner to be installed on the system disk. This will hopefully be resolved by a replacement in a future U-Boot release. The install media does not include these boot images or a Pine64 device tree. For similar reasons we do not provide install media for the Firefly-RK3399 either.
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.
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.