riscv-openocd/tcl/board/redbee.cfg