From a4b552be703bcc88a1bf6cddf2bc594d482bdfc5 Mon Sep 17 00:00:00 2001
From: Thomas Klaehn <thomas.klaehn@novero.com>
Date: Fri, 16 Sep 2016 12:09:28 +0200
Subject: [PATCH] os lib link problem fixed

---
 source/firmware/arch/stm32f4xx/driver/stm32f4_rng.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/source/firmware/arch/stm32f4xx/driver/stm32f4_rng.c b/source/firmware/arch/stm32f4xx/driver/stm32f4_rng.c
index 71e6460..5ff53c7 100644
--- a/source/firmware/arch/stm32f4xx/driver/stm32f4_rng.c
+++ b/source/firmware/arch/stm32f4xx/driver/stm32f4_rng.c
@@ -7,7 +7,9 @@
 
 #include <stddef.h>
 
-#include "board.h"
+#include "rng.h"
+#include "stm32f4xx.h"
+#include "stm32f4_rng.h"
 
 int stm32f4_rng_open(const void *this)
 {