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