And yet, somehow, OpenBSD works just fine already. Perhaps relatedly, this device is UEFI based, so unlike most ARM devices, it has a standard boot process and hardware enumeration mechanism.