I'm using U-boot on raspberry pi 3 and I want to obtain SD card
"Normally" it can be done by accessing
/sys/block/mmcblk0/device/ or by running
udevadm info -a -n /dev/sdX on linux site, but I wonder:
Is that possible via U-Boot (i.e. without running kernel) ?