diff options
Diffstat (limited to 'boards/x86/arduino_101/Makefile.board')
-rw-r--r-- | boards/x86/arduino_101/Makefile.board | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/boards/x86/arduino_101/Makefile.board b/boards/x86/arduino_101/Makefile.board index 95d138c5d..f1e40f4e7 100644 --- a/boards/x86/arduino_101/Makefile.board +++ b/boards/x86/arduino_101/Makefile.board @@ -1,4 +1,5 @@ FLASH_SCRIPT = openocd.sh +DEBUG_SCRIPT = openocd.sh OPENOCD_PRE_CMD = "-c targets 1" OPENOCD_LOAD_CMD = "load_image ${O}/${KERNEL_BIN_NAME} ${CONFIG_PHYS_LOAD_ADDR}" OPENOCD_VERIFY_CMD = "verify_image ${O}/${KERNEL_BIN_NAME} ${CONFIG_PHYS_LOAD_ADDR}" |