../socs.d/K1x-riscv64.sh