micropython-lib/machine/machine
..
__init__.py
timer.py