/rv64cpu/scripts/