file ./build/kernel.elf
set architecture riscv:rv64
target remote localhost:1234
set $pc = 0x80000000