Fixes for build targets.

Author: dgarske

docs/Targets.md

@@ -94,7 +94,7 @@ Example partitioning on Nucleo-68 board:
 
 - Sector size: 4KB
 - Wolfboot partition size: 32 KB
-- Applicatiobn partition size: 128 KB
+- Application partition size: 128 KB
 
 ```C
 #define WOLFBOOT_SECTOR_SIZE                 0x1000   /* 4 KB */
@@ -260,7 +260,7 @@ reset
 halt
 ```
 
-OpenOCD can be either run in background (to allow remote GDB and monitor terminal connections), or 
+OpenOCD can be either run in background (to allow remote GDB and monitor terminal connections), or
 directly from command line, to execute terminal scripts.
 
 If OpenOCD is running, local TCP port 4444 can be used to access an interactive terminal prompt.
@@ -293,7 +293,7 @@ Upon reboot, wolfboot will elect the best candidate (version 2 in this case) and
 If the accepted candidate image resides on BANK B (like in this case), wolfBoot will perform one bank swap before
 booting.
 
-The bank-swap operation is immediate and a SWAP image is not required  in this case. Fallback mechanism can rely on 
+The bank-swap operation is immediate and a SWAP image is not required  in this case. Fallback mechanism can rely on
 a second choice (older firmware) in the other bank.
 
 
@@ -309,5 +309,3 @@ From another console, connect using gdb, e.g.:
 arm-none-eabi-gdb
 (gdb) target remote:3333
 ```
-
-

test-app/app_stm32f7.c

@@ -30,8 +30,8 @@
 
 /* UART module */
 #define UART1_PIN_AF 7
-#define UART1_RX_PIN 10 
-#define UART1_TX_PIN 9 
+#define UART1_RX_PIN 10
+#define UART1_TX_PIN 9
 #define UART1 (0x40011000)
 #define UART1_CR1      (*(volatile uint32_t *)(UART1 + 0x00))
 #define UART1_CR2      (*(volatile uint32_t *)(UART1 + 0x04))
@@ -278,7 +278,7 @@ void uart_update_mgr(void)
 
 #define LED_BOOT_PIN (4)
 #define LED_USR_PIN (12)
-void boot_led_on(void)
+static void boot_led_on(void)
 {
     uint32_t reg;
     uint32_t pin = LED_BOOT_PIN;
@@ -290,7 +290,7 @@ void boot_led_on(void)
     GPIOD_BSRR |= (1 << pin);
 }
 
-void boot_led_off(void)
+static void boot_led_off(void)
 {
     GPIOD_BSRR |= (1 << (LED_BOOT_PIN + 16));
 }

test-app/app_stm32wb.c

@@ -29,11 +29,11 @@
 
 #ifdef PLATFORM_stm32wb
 
+volatile uint32_t time_elapsed = 0;
 void main(void) {
     boot_led_on();
     /* Wait for reboot */
     while(1)
         ;
 }
 #endif /** PLATFROM_stm32wb **/
-