Hi jetson_user,
Yes, I think it is little bit too soon to say it is an issue from the configuration script.
By default, the sdmmc on tegra is only enabled for sdmmc4 which is for emmc. As you could see the OEM Design guide says “Not assigned” for the sdcard usage on Devkit carrier.
So the debug method should be
-
Find one HDMI and keyboard
-
Enable the sdhci@700b0000 status to “okay” in either tegra210-p3448-0002-p3449-0000-a02.dts or tegra210-p3448-0002-p3449-0000-b00.dts which depends on your flash config.
-
Check if sdcard can work or not. If not work,please attach the dmesg.