Access SD card from FPGA fabric in Agilex7

Hi, We want to prototype an open source RISC-V core running Linux in the Agilex 7 F-series development kit (DK-DEV-AGF014EA). The board has an SD/MMC socket which we want to use to provide the Linu...