+ git clone --recursive --depth=1 https://github.com/YosysHQ/picorv32 picorv32 Cloning into 'picorv32'...