I am working on a Zynq-Board (XC7Z010) based on the ZYBO-Board. The ZYBO-Board powers bank 501 (MIO1) with 1,8V. So it uses a level shifter to 3.3V to connect the SD-Card socket.
However the SD-Card interface and the 2 UART pins are all I need on bank 501. Is it possible to connect the SD-Card socket directly to the Zynq, when powering Bank 501 with 3.3V? Has anyone done this before? Is there anything I should consider (Pull-Up/-Downs e.g.)?