| FLASH_SCRIPT = openocd.sh | |
| OPENOCD_PRE_CMD = "-c targets 1" | |
| OPENOCD_LOAD_CMD = "load_image ${O}/${KERNEL_BIN_NAME} 0x40000000" | |
| OPENOCD_VERIFY_CMD = "verify_image ${O}/${KERNEL_BIN_NAME} 0x40000000" | |
| GDB_PORT = 3334 | |
| export FLASH_SCRIPT OPENOCD_VERIFY_CMD OPENOCD_LOAD_CMD GDB_PORT | |