Hi,
I'm now considering to purchase a NanoPi R5S board to run OpenBSD, which is listed on "Supported Hardware" on OpenBSD arm64 page. However, I could not find more details, for instance, should I flash u-boot manually? There seems to be no rk3568 series entries in OpenBSD's latest u-boot package, and the snapshot version of INSTALL.arm64 file doesn't contain rk3568 neither.
