#include "devoptab_sd.h"

int
__wut_fs_getmtime(const char *name,
                  uint64_t *mtime)
{
   // TODO: Last modified time can probably be get via FSGetStatFile
   return -1;
}