A lot of Arduino cores ship with a builtin SD library these days (e.g., esp32, esp8266, rp2040). Would it be possible to add [this one](https://github.com/rei-vilo/SD_TM4C)? Thanks, Steve