// SPDX-License-Identifier: (GPL-2.0+ OR MIT) / { chosen { barebox,bootsource-mmc0 = &sdhci; barebox,bootsource-mmc1 = &sdmmc0; barebox,bootsource-mmc2 = &sdmmc1; }; };