| FLASH_SCRIPT = openocd.sh | |
| DEBUG_SCRIPT = openocd.sh | |
| OPENOCD_LOAD_CMD = "flash write_image erase ${O}/${KERNEL_BIN_NAME} ${CONFIG_FLASH_BASE_ADDRESS}" | |
| OPENOCD_VERIFY_CMD = "verify_image ${O}/${KERNEL_BIN_NAME} ${CONFIG_FLASH_BASE_ADDRESS}" | |
| JLINK_DEVICE = MK64FN1M0xxx12 | |
| PYOCD_TARGET = k64f | |
| export FLASH_SCRIPT OPENOCD_LOAD_CMD OPENOCD_VERIFY_CMD JLINK_DEVICE PYOCD_TARGET |