micropython如何获取文件的修改时间或者创建时间

micropython 可以用os.listdir()获取单片机有哪些文件，但是如何获取每个文件的创建时间或者修改时间呢？
在python中，可以使用os.path.getmtime(dir)来获得相应文件的时间上，但是os.path在Micropython中没有……
各位道友指点迷津。