diff --git a/src/libsys/boards/denano/board.c b/src/libsys/boards/denano/board.c
index e79aca1..b549c6f 100644
--- a/src/libsys/boards/denano/board.c
+++ b/src/libsys/boards/denano/board.c
@@ -10,6 +10,7 @@
 #include "../../uart.h"
 #include "../../console.h"
 #include "../../asm/regdef.h"
+#include "../../syscalls.h"
 
 extern uart_if_t uart_if[];
 
@@ -67,7 +68,7 @@ void dbg_uart_isr(struct xcptcontext *xcp)
 
 void dbg_uart_setup()
 {
-	const int UART_INT = SYS_INT_UART1;
+	const#include "../../syscalls.h" int UART_INT = SYS_INT_UART1;
 	*uart_if[UART_DEBUGGER].pCTRL = SYS_UART_BIT_RX_INTEN;
 	interrupt_register(UART_INT, dbg_uart_isr);
 	interrupt_enable(UART_INT);
diff --git a/src/libsys/boards/ml402/board.c b/src/libsys/boards/ml402/board.c
index 7cba39c..3b910ca 100644
--- a/src/libsys/boards/ml402/board.c
+++ b/src/libsys/boards/ml402/board.c
@@ -10,6 +10,7 @@
 #include "../../uart.h"
 #include "../../console.h"
 #include "../../asm/regdef.h"
+#include "../../syscalls.h"
 
 extern uart_if_t uart_if[];
 #ifdef WITH_ROM_DEBUGGER
@@ -97,10 +98,10 @@ void board_init(void)
 	syscalls_init();
 
 	// Setup Uart ISR 
-	dbg_uart_setup();
+//	dbg_uart_setup();
 
 	// Setup debugger
-	dbg_init();
+//	dbg_init();
 
 	// Setup interrupt support
 	interrupt_init();
diff --git a/src/libsys/boards/sim/board.c b/src/libsys/boards/sim/board.c
index ca669e5..4ea954c 100644
--- a/src/libsys/boards/sim/board.c
+++ b/src/libsys/boards/sim/board.c
@@ -10,6 +10,7 @@
 #include "../../uart.h"
 #include "../../console.h"
 #include "../../asm/regdef.h"
+#include "../../syscalls.h"
 
 extern uart_if_t uart_if[];
 
diff --git a/src/libsys/syscalls.h b/src/libsys/syscalls.h
new file mode 100644
index 0000000..caea79b
--- /dev/null
+++ b/src/libsys/syscalls.h
@@ -0,0 +1,9 @@
+#ifndef SYSCALLS_H
+#define SYSCALLS_H
+
+#include <stdint.h>
+
+void syscalls_init(void);
+
+#endif // SYSCALLS_H
+