From 9819f9d5b3abf89ab932e19e965a3125471cdc34 Mon Sep 17 00:00:00 2001
From: Piotr Esden-Tempski <piotr@esden.net>
Date: Mon, 28 Jan 2013 12:15:50 -0800
Subject: [PATCH] Corrected the led pin for F3 and F4 discovery boards. Needs
 proper fixing so that it works on all platforms in the future.

---
 src/platforms/stlink/platform.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/platforms/stlink/platform.h b/src/platforms/stlink/platform.h
index 09bf484..eb5f186 100644
--- a/src/platforms/stlink/platform.h
+++ b/src/platforms/stlink/platform.h
@@ -75,7 +75,10 @@ extern usbd_device *usbdev;
 #define SWCLK_PIN	TCK_PIN
 
 #define LED_PORT	GPIOA
-#define LED_IDLE_RUN	GPIO8
+/* The value line discovery board stlink has it's led on PA8
+ * All other stlinks have the led connected to PA9 instead and MCO to PA8
+ */
+#define LED_IDLE_RUN	GPIO9
 
 #define DEBUG(...)