From 4e735f46ae40555c6d595e574de999540f2c81bb Mon Sep 17 00:00:00 2001
From: Titus von Boxberg <titus@elbe-informatik.de>
Date: Sat, 15 Jul 2017 01:59:17 +0200
Subject: [PATCH] config changes for stm32f769i-disco

---
 configs/Kconfig                                   | 15 +++++++++++++++
 configs/stm32f769i-disco/nsh/defconfig            | 14 ++++++++------
 .../{stm32f746g-disco.h => stm32f769i-disco.h}    |  0
 3 files changed, 23 insertions(+), 6 deletions(-)
 mode change 100644 => 100755 configs/Kconfig
 rename configs/stm32f769i-disco/src/{stm32f746g-disco.h => stm32f769i-disco.h} (100%)

diff --git a/configs/Kconfig b/configs/Kconfig
old mode 100644
new mode 100755
index c7f8704765..0257f18af2
--- a/configs/Kconfig
+++ b/configs/Kconfig
@@ -1160,6 +1160,17 @@ config ARCH_BOARD_STM32F746G_DISCO
 		MCU. The STM32F746NGH6  is a 216MHz Cortex-M7 operation with 1024Kb Flash
 		memory and 320Kb SRAM.
 
+config ARCH_BOARD_STM32F769I_DISCO
+	bool "STMicro STM32F769I-Discovery board"
+	depends on ARCH_CHIP_STM32F769NI
+	select ARCH_HAVE_LEDS
+	select ARCH_HAVE_BUTTONS
+	select ARCH_HAVE_IRQBUTTONS
+	---help---
+		STMicro STM32F769I-DISCO development board featuring the STM32F769NIH6
+		MCU. The STM32F769NIH6 is a 216MHz Cortex-M7 with 1024Kb Flash
+		memory and 320Kb SRAM.
+
 config ARCH_BOARD_STM32F746_WS
 	bool "Waveshare STM32F746 board"
 	depends on ARCH_CHIP_STM32F746IG
@@ -1621,6 +1632,7 @@ config ARCH_BOARD
 	default "stm32f411e-disco"         if ARCH_BOARD_STM32F411E_DISCO
 	default "stm32f429i-disco"         if ARCH_BOARD_STM32F429I_DISCO
 	default "stm32f746g-disco"         if ARCH_BOARD_STM32F746G_DISCO
+	default "stm32f769i-disco"         if ARCH_BOARD_STM32F769I_DISCO
 	default "stm32f746-ws"             if ARCH_BOARD_STM32F746_WS
 	default "b-l475e-iot01a"           if ARCH_BOARD_B_L475E_IOT01A
 	default "stm32l476vg-disco"        if ARCH_BOARD_STM32L476VG_DISCO
@@ -2014,6 +2026,9 @@ endif
 if ARCH_BOARD_STM32F746G_DISCO
 source "configs/stm32f746g-disco/Kconfig"
 endif
+if ARCH_BOARD_STM32F769I_DISCO
+source "configs/stm32f769i-disco/Kconfig"
+endif
 if ARCH_BOARD_B_L475E_IOT01A
 source "configs/b-l475e-iot01a/Kconfig"
 endif
diff --git a/configs/stm32f769i-disco/nsh/defconfig b/configs/stm32f769i-disco/nsh/defconfig
index 234259067d..5c0b810b69 100755
--- a/configs/stm32f769i-disco/nsh/defconfig
+++ b/configs/stm32f769i-disco/nsh/defconfig
@@ -1,4 +1,6 @@
-# CONFIG_ARCH_FPU is not set
+CONFIG_ARMV7M_LAZYFPU=y
+CONFIG_ARCH_FPU=y
+CONFIG_ARCH_DPFPU=y
 # CONFIG_NSH_DISABLE_IFCONFIG is not set
 # CONFIG_NSH_DISABLE_PS is not set
 CONFIG_ARCH_BOARD_STM32F769I_DISCO=y
@@ -42,11 +44,11 @@ CONFIG_RR_INTERVAL=200
 CONFIG_SCHED_WAITPID=y
 CONFIG_SDCLONE_DISABLE=y
 CONFIG_SPI=y
-CONFIG_START_DAY=6
-CONFIG_START_MONTH=12
-CONFIG_START_YEAR=2011
-CONFIG_STM32F7_USART6=y
+CONFIG_START_DAY=14
+CONFIG_START_MONTH=07
+CONFIG_START_YEAR=2017
+CONFIG_STM32F7_USART1=y
 CONFIG_TASK_NAME_SIZE=0
-CONFIG_USART6_SERIAL_CONSOLE=y
+CONFIG_USART1_SERIAL_CONSOLE=y
 CONFIG_USER_ENTRYPOINT="nsh_main"
 CONFIG_WDOG_INTRESERVE=0
diff --git a/configs/stm32f769i-disco/src/stm32f746g-disco.h b/configs/stm32f769i-disco/src/stm32f769i-disco.h
similarity index 100%
rename from configs/stm32f769i-disco/src/stm32f746g-disco.h
rename to configs/stm32f769i-disco/src/stm32f769i-disco.h