In this example, RTEMS does not use the filesystem on the SD card at all. RTEMS is loaded from the FAT32 partition of the SD card by u-boot. It is possible to access the SD card from RTEMS, but this requires libbsd for the SD card drivers. You can use the media01 test in libbsd to verify access to the SD card FAT32 partition.
1 Like