double defined symbols removed from lib

source/firmware/arch/stm32f4xx/board/stm32f4-discovery/include/stm32f4-discovery.h

@@ -170,7 +170,7 @@ static const struct gpio __led_5 = {
 		&gpio_fp
 };
 
-static const struct driver led_5 = {
+const struct driver led_5 = {
 		DRIVER_TYPE_GPIO,
 		&__led_5,
 };

source/firmware/arch/stm32f4xx/board/stm32f4-discovery/stm32f4-discovery.c

@@ -5,7 +5,7 @@
  *      Author: tkl
  */
 
-#include "include/stm32f4-discovery.h"
+#include "board.h"
 
 void board_init(void) {
 	NVIC_SetVectorTable(NVIC_VectTab_FLASH, 0);

source/firmware/arch/stm32f4xx/syscalls.c

@@ -12,10 +12,6 @@
 
 #include <string.h>
 #include <stdio.h>
-#if 0
-#include "usbd_cdc_vcp.h"
-#endif
-#include "board.h"
 
 #undef errno
 extern int errno;

source/firmware/kernel/schedule.c

@@ -5,8 +5,8 @@
  *      Author: tkl
  */
 #include <stdbool.h>
+#include <stddef.h>
 
-#include "board.h"
 #include "ctx.h"
 #include "cpu.h"
 #include "stack.h"