DISCO_F413ZH: corrections

- leds definition
- add sw4stm32 exporter
- recomment mco debug

targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F413xH/TARGET_DISCO_F413ZH/PeripheralNames.h

@@ -43,8 +43,8 @@ typedef enum {
     UART_10 = (int)UART10_BASE
 } UARTName;
 
-#define STDIO_UART_TX  PG_9
-#define STDIO_UART_RX  PG_14
+#define STDIO_UART_TX  PG_14
+#define STDIO_UART_RX  PG_9
 #define STDIO_UART     UART_6
 
 typedef enum {

targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F413xH/TARGET_DISCO_F413ZH/PinNames.h

@@ -223,12 +223,14 @@ typedef enum {
     D15         = PB_10,
 
     // Generic signals namings
-    LED1        = PE_3,       // Red
-    LED2        = PC_7,       // Green
-    LED_RED     = LED1,
+    LED1        = PC_5,       // Green = LD3 on the board
+    LED2        = PE_3,       // Red = LD4 on the board
+    LED3        = PB_12,      // Green = LD5 on the board, connected to Arduino D13
+    LED4        = LED1,
+    LED_RED     = LED2,
     USER_BUTTON = PA_0,
-    SERIAL_TX   = PG_9,
-    SERIAL_RX   = PG_14,
+    SERIAL_TX   = PG_14,
+    SERIAL_RX   = PG_9,
     USBTX       = SERIAL_TX,
     USBRX       = SERIAL_RX,
     I2C_SCL     = D15,

targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F413xH/TARGET_DISCO_F413ZH/system_stm32f4xx.c

@@ -821,7 +821,7 @@ void SetSysClock(void)
   }
   
   /* Output clock on MCO2 pin(PC9) for debugging purpose */
-  HAL_RCC_MCOConfig(RCC_MCO2, RCC_MCO2SOURCE_SYSCLK, RCC_MCODIV_4);
+  //HAL_RCC_MCOConfig(RCC_MCO2, RCC_MCO2SOURCE_SYSCLK, RCC_MCODIV_4);
 }
 
 #if (USE_PLL_HSE_XTAL != 0) || (USE_PLL_HSE_EXTC != 0)

tools/export/sw4stm32/__init__.py

@@ -31,6 +31,7 @@ class Sw4STM32(Exporter):
         'DISCO_F334C8':            {'name': 'STM32F3348DISCOVERY',   'mcuId': 'STM32F334C8Tx'},
         'DISCO_F401VC':            {'name': 'STM32F401C-DISCO',      'mcuId': 'STM32F401VCTx'},
         'DISCO_F407VG':            {'name': 'STM32F4DISCOVERY',      'mcuId': 'STM32F407VGTx'},
+        'DISCO_F413ZH':            {'name': 'DISCO_F413',            'mcuId': 'STM32F413ZHTx'},
         'DISCO_F429ZI':            {'name': 'STM32F429I-DISCO',      'mcuId': 'STM32F429ZITx'},
         'DISCO_F469NI':            {'name': 'DISCO-F469NI',          'mcuId': 'STM32F469NIHx'},
         'DISCO_F746NG':            {'name': 'STM32F746G-DISCO',      'mcuId': 'STM32F746NGHx'},