I think this is the relevant bit of https://www.openbsd.org/arm64.html
that answers your question:
In general, other boards/machines that use one of the SoCs listed
above will work as well, as long as UEFI firmware (e.g. U-Boot
or EDK II firmware) is available. Both device trees and ACPI are
supported. An updated device tree may have to be supplied to make
OpenBSD usable.
If you feel comfortable taking this on, you can try something similar to
but not on the supported list.
But if you want to focus your attention on actually designing and
building your arm router/firewall rather than getting OpenBSD working
on the particular SBC you've chosen, I suggest picking something that is
well supported.
My suggestion for a router/firewall is to use AMD64 not ARM64 hardware,
e.g. a suitable miniPC. It's a bit more expensive up front for a runnable
system but you get much more for what you pay: e.g. run off an SSD rather
than USB-attached storage, decent multiple NICs, etc.
Regards,
John
--
John DiMarco <j...@cs.toronto.edu> http://www.cs.toronto.edu/~jdd
IT Director, Computer Science Department, University of Toronto
Office: BA4252 Phone:1-416-978-5300 Fax:1-416-946-5464
