Not an issue :) but more a question.

I came across your repo for ED64 Tools and when I saw "Implement direct SD card access via libdragon filesystem API." I got super excited. As I have been for a long time wanting to do a raspberry pi mod to my flash cart so I can sync game saves and modify gameshark cheats over wifi.

I'm curious how this feature is coming along or how you are thinking to implement it. I tried to browse the Libdragon API to find what it possible with the file system. Is this what you're planning to use? (https://libdragon.dev/ref/group__system.html)