Open
Description
This core should have a SD library like https://github.com/arduino-libraries/SD to be able to access SD cards.
Along this should probably be some sort of file and filesystem support, like with the ESP32.
Note that our boards do have a SDIO peripheral which is meant to interface with SD cards. But I guess it also works in SPI mode.
It should be investigated how the library can be ported or support for it can otherwise be sensibly added.