I can see how the Fixed SD Card is connected to the SDIO0 block in the PS using MIO pins 40-47. I would like to connected a second SD Card using the PModSD from Digilent directly to the SDIO1 block in the PS by plugging it into the MIO PMOD (JE1).
I have come to the conclusion that Digilent's PModSD is not compatible with the MIO PMOD (JE1). Using JE1 and PModSD, the mappings are fixed (SD-func <-> PMod pin# <-> MIO#) but incorrect. For example, the SD-cmd is connected to PMod pin #2, which in turn connects to MIO_10. The only SDIO1 pin which MIO_10 connects to is IO-Bit0, but the SD-cmd signal needs to be connected to Command pin, which is only accessible through MIO_11.
I feel that I might be missing something, since this use-case seems fairly obvious. I I can see how I might connect the PModSD to the SDIO1 controller on the PS using EMIO and one of PMods connected to the PL. The reason I want to avoid this is that I am already short on PMod connections to the PL...