Links for varphi-devkit