我想在上安装 OpenBSD 7.1纳米派R4S（瑞芯微RK3399 ARM64 SoC）。
按照中的说明进行操作安装arm64，我成功让NanoPi R4S开机miniroot71.img。我编写了 miniroot 和 OpenBSD 提供的U-Boot 映像（idbloader.img、u-boot.itb）用于nanopi-r4s-rk3399使用 64 GB SD 卡dd。然后我安装了 miniroot 的 EFI 分区并复制了 OpenBSD 提供的DTB文件 rk3399-nanopi-r4s.dtb进入目录/rockchip。
将 SD 卡插入 NanoPi R4S 并使用其调试 UART 后，我终于能够从 miniroot 启动并启动 OpenBSD 安装程序。
然而，当我需要指定根磁盘时，我就陷入了困境。安装程序不显示根磁盘的选项。查看启动消息，OpenBSD 似乎无法启用 SD 卡：
sdmmc0: can't enable card
我无法找到这方面真正有用的信息。是不是一般情况下不能在SD卡上安装OpenBSD？这是 ARM64 端口缺少的功能吗？是否是NanoPi R4S的SD卡接口的问题？还有别的事吗？