[Cryptech-Commits] [sw/stm32] 07/11: Fix definition of LED_RED in mbed_die.

[git at cryptech.is]

This is an automated email from the git hooks/post-receive script.

paul at psgd.org pushed a commit to branch master
in repository sw/stm32.

commit 6dc0d2eda0934a1bb5b2686390cea68e9fa569bd
Author: Paul Selkirk <paul at psgd.org>
AuthorDate: Mon Jun 6 11:51:58 2016 -0400

    Fix definition of LED_RED in mbed_die.
---
 .../TARGET_STM/TARGET_STM32F4/TARGET_CRYPTECH_ALPHA/system_stm32f4xx.c  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/mbed/targets/cmsis/TARGET_STM/TARGET_STM32F4/TARGET_CRYPTECH_ALPHA/system_stm32f4xx.c b/libraries/mbed/targets/cmsis/TARGET_STM/TARGET_STM32F4/TARGET_CRYPTECH_ALPHA/system_stm32f4xx.c
index 2824fd6..02ecfa5 100644
--- a/libraries/mbed/targets/cmsis/TARGET_STM/TARGET_STM32F4/TARGET_CRYPTECH_ALPHA/system_stm32f4xx.c
+++ b/libraries/mbed/targets/cmsis/TARGET_STM/TARGET_STM32F4/TARGET_CRYPTECH_ALPHA/system_stm32f4xx.c
@@ -584,7 +584,7 @@ void mbed_die(void)
 {
 #ifdef HAL_GPIO_MODULE_ENABLED
   //HAL_GPIO_WritePin(LED_PORT, LED_RED, GPIO_PIN_SET);
-  HAL_GPIO_WritePin(GPIOJ, GPIO_PIN_1, GPIO_PIN_SET);
+  HAL_GPIO_WritePin(GPIOK, GPIO_PIN_7, GPIO_PIN_SET);
 #endif
   while (1) { ; }
 }