On Wed, 27 Oct 2021 22:26:15 +0000 kar...@freebsd.org wrote: > From: Mike Karels <kar...@freebsd.org> > > Using mmc.dtbo from rpi-firmware to switch the controller for the SD > card slot from sdhci to sdhost causes the numbering to change; the > SD card is then not recognized at boot. Add to the range checked. > --- > include/configs/rpi.h | 3 ++- > 1 file changed, 2 insertions(+), 1 deletion(-) > > diff --git a/include/configs/rpi.h b/include/configs/rpi.h > index 55768a46da..4c5c1ac31f 100644 > --- a/include/configs/rpi.h > +++ b/include/configs/rpi.h > @@ -137,7 +137,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 > -- > 2.32.0 >
Reviewed-by: Emmanuel Vadot <m...@freebsd.org> -- Emmanuel Vadot <m...@bidouilliste.com> <m...@freebsd.org>
