Using SD Card Slot on Portenta HAT Carrier with Portenta C33

Hello everyone,

I'm currently working with the Portenta C33 and would like to know whether it's possible to use the SD card slot available on the Arduino Portenta HAT Carrier board in combination with the C33.

I’ve gone through the user manual and documentation, but couldn’t find a clear answer regarding this specific setup. Additionally, I haven't come across any working examples or references that demonstrate SD card access using this configuration.

Has anyone successfully used the SD card slot on the HAT Carrier with the Portenta C33? Any insights, suggestions, or pointers to relevant documentation would be greatly appreciated.

Thank you in advance!

I used the "TestSDCARD.ino" example and it works just fine.