Hi, I have volunteered to coordinate a patch to u-boot for the Raspberry Pi 3 on FreeBSD. The problem is that with u-boot-2021.07 and the current MMC overlay, the SD card slot is renumbered. The SD card does not configure, and the installation card doesn't boot. The following patch to include/configs/rpi.h fixes the problem. Let me know if you need any additional information.
Thanks, Mike --- rpi.h.orig 2021-10-25 23:02:36.928520000 -0500 +++ rpi.h 2021-10-25 16:05:16.140924000 -0500 @@ -173,7 +173,8 @@ #if CONFIG_IS_ENABLED(CMD_MMC) #define BOOT_TARGET_MMC(func) \ func(MMC, mmc, 0) \ - func(MMC, mmc, 1) + func(MMC, mmc, 1) \ + func(MMC, mmc, 2) #else #define BOOT_TARGET_MMC(func) #endif