On Thu, Oct 28, 2021 at 09:44:09AM +0200, Emmanuel Vadot wrote: > 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>
Applied to rpi-next Thanks! > > -- > Emmanuel Vadot <m...@bidouilliste.com> <m...@freebsd.org>