#include "devoptab_fs.h"

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