ESP32-PRO SD Card in Arduino IDE

[wireshark]

Hi, is there some sample code to access the SD card on ESP32-PRO from Arduino IDE? So far I am having no success.
Also: The ESP32-PRO board is missig from the list of Olimex-ESP32 boards in Arduino IDE, is there a way to add it?

Thanks!