micropython-lib/micropython/mip
..
mip
manifest.py