set architecture riscv target remote 127.0.0.1:1234 symbol-file kernel