Using Gdb Openocd To Debug Riscv Documentation