diff --git a/native/board_init.c b/native/board_init.c
index d32c653dc92a9fd7976b9e933131c7eaa9ff0bfc..fa1a319afcfe83cb1cf8956b5c0eec27f7d67182 100644
--- a/native/board_init.c
+++ b/native/board_init.c
@@ -15,6 +15,8 @@
 #include <stdio.h>
 #include "board.h"
 
+#include "board_internal.h"
+
 /**
  * Nothing to initialize at the moment.
  * Turns the red LED on and the green LED off.
diff --git a/native/drivers/native-uart0.c b/native/drivers/native-uart0.c
index b43a7dcbe4fa5119de49b902ab100a8d4d3fd02c..3af009eee4dff864c07483bdfefd74bf493718d9 100644
--- a/native/drivers/native-uart0.c
+++ b/native/drivers/native-uart0.c
@@ -17,7 +17,7 @@ int _native_uart_out;
 
 fd_set _native_uart_rfds;
 
-static inline int uart0_puts(char *astring, int length)
+inline int uart0_puts(char *astring, int length)
 {
     return puts(astring);
 }
diff --git a/native/include/board.h b/native/include/board.h
index 69e40eb38386e511de6c3d19423bf166a69c1a20..18ee528271bfc453408a4eeac646b259df3d9ca7 100644
--- a/native/include/board.h
+++ b/native/include/board.h
@@ -21,9 +21,3 @@ void LED_GREEN_TOGGLE(void);
 void LED_RED_OFF(void);
 void LED_RED_ON(void);
 void LED_RED_TOGGLE(void);
-
-#ifdef MODULE_UART0
-#include <sys/select.h>
-extern fd_set _native_uart_rfds;
-extern void _native_handle_uart0_input(void);
-#endif
diff --git a/native/include/board_internal.h b/native/include/board_internal.h
new file mode 100644
index 0000000000000000000000000000000000000000..752cbcdfb5333430baf8d37d01d14cd888d76f69
--- /dev/null
+++ b/native/include/board_internal.h
@@ -0,0 +1,6 @@
+#ifdef MODULE_UART0
+#include <sys/select.h>
+extern fd_set _native_uart_rfds;
+void _native_handle_uart0_input(void);
+void _native_init_uart0(void);
+#endif