From 416ac30496ce4d83f0d4a7a1649ad2eb1dc2f2e2 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 25 Sep 2017 19:14:19 +0800
Subject: [PATCH] do not use GDB for loading firmware

GDB adds unnecessary steps and it is buggy.
---
 README.md                          | 3 +--
 firmware/{support => }/openocd.cfg | 4 ++++
 firmware/support/load.gdb          | 5 -----
 3 files changed, 5 insertions(+), 7 deletions(-)
 rename firmware/{support => }/openocd.cfg (66%)
 delete mode 100644 firmware/support/load.gdb

diff --git a/README.md b/README.md
index a96ee58..fdfef0c 100644
--- a/README.md
+++ b/README.md
@@ -80,9 +80,8 @@ Building and loading the firmware
 
 ```sh
 cd firmware
-openocd -f support/openocd.cfg
 xargo build --release
-arm-none-eabi-gdb -x support/load.gdb target/thumbv7em-none-eabihf/release/ionpak-firmware
+openocd -f openocd.cfg
 ```
 
 License
diff --git a/firmware/support/openocd.cfg b/firmware/openocd.cfg
similarity index 66%
rename from firmware/support/openocd.cfg
rename to firmware/openocd.cfg
index f8c1fad..3c2f76e 100644
--- a/firmware/support/openocd.cfg
+++ b/firmware/openocd.cfg
@@ -1,3 +1,7 @@
 source /usr/share/openocd/scripts/interface/ftdi/olimex-arm-usb-tiny-h.cfg
 set CHIPNAME tm4c1294kcpd
 source /usr/share/openocd/scripts/target/stellaris.cfg
+
+program target/thumbv7em-none-eabihf/release/ionpak-firmware verify
+reset
+exit
diff --git a/firmware/support/load.gdb b/firmware/support/load.gdb
deleted file mode 100644
index fb4f797..0000000
--- a/firmware/support/load.gdb
+++ /dev/null
@@ -1,5 +0,0 @@
-target remote :3333
-monitor arm semihosting enable
-load
-monitor reset halt
-continue