root/dev-pypi: links for mvk-sdk-micro