SDP-K1: Updates to target code

targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F469xI/TARGET_SDP_K1/PinNames.h

@@ -306,22 +306,25 @@ typedef enum {
 	// Debug pins
 	DEBUG_GPIO0	= PG_6,
     // Generic signals namings
-    LED1        = PK_4,	// Status LED
-    LED2        = PK_7, // Red LED
-    LED3        = PK_6, // Orange LED
-    LED4        = PK_5, // Green LED
-    AWAKE        = PK_3,	
+    LED1        = PK_7, // Red LED
+    LED2        = PK_6, // Orange LED
+    LED3        = PK_5, // Green LED
+    LED_RED		= LED1,
+	LED_ORANGE	= LED2,
+	LED_GREEN	= LED3,
     SERIAL_TX   = STDIO_UART_TX,
     SERIAL_RX   = STDIO_UART_RX,
     USBTX       = STDIO_UART_TX,
     USBRX       = STDIO_UART_RX,
-    I2C_SCL     = PB_8,
-    I2C_SDA     = PB_7,
-    SPI_MOSI    = PA_7,
-    SPI_MISO    = PB_4,
-    SPI_SCK     = PB_3,
-    SPI_CS      = PA_15,	// SPI pins to Arduino connector
-
+
+	// SPI and I2C pins on Arduino connector
+	SPI_CS      = D10,
+    SPI_MOSI    = D11,
+    SPI_MISO    = D12,
+    SPI_SCK     = D13,
+	I2C_SDA     = D14,
+	I2C_SCL     = D15,
+
 	// Adding these signals for the SDP connector
 	SDP_SPI_MOSI = PF_9,		// SDP Connector for SPI lines
 	SDP_SPI_MISO = PF_8, 

targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F469xI/TARGET_SDP_K1/system_clock.c

@@ -1,7 +1,7 @@
 /* mbed Microcontroller Library
-* Copyright (c) 2006-2019 ARM Limited
+* Copyright (c) 2006-2017 ARM Limited
 * SPDX-License-Identifier: Apache-2.0
-
+*
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
@@ -58,6 +58,7 @@ uint8_t SetSysClock_PLL_HSE(uint8_t bypass);
 uint8_t SetSysClock_PLL_HSI(void);
 #endif /* ((CLOCK_SOURCE) & USE_PLL_HSI) */
 
+static void TurnOnAwakeSignal(void);
 
 /**
   * @brief  Setup the microcontroller system
@@ -102,6 +103,7 @@ void SystemInit(void)
     SCB->VTOR = NVIC_FLASH_VECTOR_ADDRESS; /* Vector Table Relocation in Internal FLASH */
 #endif
 
+    TurnOnAwakeSignal();
 }
 
 
@@ -274,3 +276,27 @@ uint8_t SetSysClock_PLL_HSI(void)
     return 1; // OK
 }
 #endif /* ((CLOCK_SOURCE) & USE_PLL_HSI) */
+
+/**
+  * @brief  Sets F469 "Awake" signal (PK3 pin) to turn on daughterboard power supplies
+  * @param  None
+  * @retval None
+  *
+  */
+static void TurnOnAwakeSignal(void)
+{
+    GPIO_InitTypeDef GPIO_InitStruct;
+
+    /* Enable peripheral clock */
+    __HAL_RCC_GPIOK_CLK_ENABLE();
+
+    /* GPIO Configuration */
+    GPIO_InitStruct.Pin = GPIO_PIN_3;
+    GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP;
+    GPIO_InitStruct.Pull = GPIO_NOPULL;
+    GPIO_InitStruct.Speed = GPIO_SPEED_FREQ_LOW;
+    HAL_GPIO_Init(GPIOK, &GPIO_InitStruct);		
+
+    /* Enable AWAKE pin */
+    HAL_GPIO_WritePin(GPIOK, GPIO_PIN_3, GPIO_PIN_SET);
+}