Using 2018.1 vivado and sdk we've generated an FSBL and booted the UltraZed-EG on IO Carrier Card into linux 4.14. The sdhci1 device in SD mode is not functional (or perhaps I am not configuring something properly), yet the mmc device on sdhci0 continues to function.
Linux boot shows the following error
mmc1: error -110 whilst initialising SD card
Has anyone else seen this?