The arm64 hardware file listing the actual supported systems was updated recently, but the "whatis" file still has this:
"OpenBSD/arm64 runs on the Pine64 and the Raspberry Pi 3. Hardware support is currently limited, but this port is a heavy work in progress." I don't think it needs an actual list of supported machines here as the one in arm64/hardware gets assembled into the same output file (INSTALL.arm64), but I'm not sure what we'd want to say here instead. Any ideas?
