From e15fb346ead1712d22c3e0fb8e2d417ebfc5b5e6 Mon Sep 17 00:00:00 2001
From: Titus von Boxberg <titus@elbe-informatik.de>
Date: Wed, 19 Jul 2017 20:05:19 +0200
Subject: [PATCH] LED-GPIO named after the reference designator of actual board
 led

---
 configs/stm32f769i-disco/src/stm32_autoleds.c   | 6 +++---
 configs/stm32f769i-disco/src/stm32_userleds.c   | 6 +++---
 configs/stm32f769i-disco/src/stm32f769i-disco.h | 2 +-
 3 files changed, 7 insertions(+), 7 deletions(-)
 mode change 100755 => 100644 configs/stm32f769i-disco/src/stm32f769i-disco.h

diff --git a/configs/stm32f769i-disco/src/stm32_autoleds.c b/configs/stm32f769i-disco/src/stm32_autoleds.c
index 4e79d48402..22e7c18615 100644
--- a/configs/stm32f769i-disco/src/stm32_autoleds.c
+++ b/configs/stm32f769i-disco/src/stm32_autoleds.c
@@ -61,7 +61,7 @@ void board_autoled_initialize(void)
 {
   /* Configure the LD1 GPIO for output. Initial state is OFF */
 
-  stm32_configgpio(GPIO_LD1);
+  stm32_configgpio(GPIO_LD3);
 }
 
 /****************************************************************************
@@ -91,7 +91,7 @@ void board_autoled_on(int led)
       break;
     }
 
-   stm32_gpiowrite(GPIO_LD1, ledstate);
+   stm32_gpiowrite(GPIO_LD3, ledstate);
 }
 
 /****************************************************************************
@@ -120,7 +120,7 @@ void board_autoled_off(int led)
     /* Turn STATUS LED off set driving the output high */
 
     case 3:                   /* LED_PANIC:        The system has crashed  STATUS LED=FLASH */
-      stm32_gpiowrite(GPIO_LD1, false);
+      stm32_gpiowrite(GPIO_LD3, false);
       break;
     }
 }
diff --git a/configs/stm32f769i-disco/src/stm32_userleds.c b/configs/stm32f769i-disco/src/stm32_userleds.c
index d3428e053e..c61f06ae66 100644
--- a/configs/stm32f769i-disco/src/stm32_userleds.c
+++ b/configs/stm32f769i-disco/src/stm32_userleds.c
@@ -64,7 +64,7 @@
 
 void board_userled_initialize(void)
 {
-  stm32_configgpio(GPIO_LD1);
+  stm32_configgpio(GPIO_LD3);
 }
 
 /****************************************************************************
@@ -81,7 +81,7 @@ void board_userled(int led, bool ledon)
 {
   if (led == BOARD_STATUS_LED)
     {
-      stm32_gpiowrite(GPIO_LD1, !ledon);
+      stm32_gpiowrite(GPIO_LD3, !ledon);
     }
 }
 
@@ -98,7 +98,7 @@ void board_userled(int led, bool ledon)
 
 void board_userled_all(uint8_t ledset)
 {
-  stm32_gpiowrite(GPIO_LD1, (ledset & BOARD_STATUS_LED_BIT) != 0);
+  stm32_gpiowrite(GPIO_LD3, (ledset & BOARD_STATUS_LED_BIT) != 0);
 }
 
 #endif /* !CONFIG_ARCH_LEDS */
diff --git a/configs/stm32f769i-disco/src/stm32f769i-disco.h b/configs/stm32f769i-disco/src/stm32f769i-disco.h
old mode 100755
new mode 100644
index 6858b0242a..7565fa27a5
--- a/configs/stm32f769i-disco/src/stm32f769i-disco.h
+++ b/configs/stm32f769i-disco/src/stm32f769i-disco.h
@@ -64,7 +64,7 @@
  * LD3 is on when PA12 is high.
  */
 
-#define GPIO_LD1           (GPIO_OUTPUT | GPIO_PUSHPULL | GPIO_SPEED_50MHz | GPIO_OUTPUT_CLEAR | \
+#define GPIO_LD3           (GPIO_OUTPUT | GPIO_PUSHPULL | GPIO_SPEED_50MHz | GPIO_OUTPUT_CLEAR | \
                             GPIO_PORTA | GPIO_PIN12)
 
 /* Pushbutton B1, labelled "User", is connected to GPIO PA0.  A high value will be sensed when the