1 files changed, 12 insertions, 0 deletions
diff --git a/arch/arm/lpc17xx/mbed/BoardConsole.h b/arch/arm/lpc17xx/mbed/BoardConsole.h
new file mode 100644
index 0000000..75b970f
--- /dev/null
+++ b/arch/arm/lpc17xx/mbed/BoardConsole.h
@@ -0,0 +1,12 @@
+#ifndef __MBED_CONSOLE_H__
+#define __MBED_CONSOLE_H__
+
+#include <stdarg.h>
+
+void BoardConsoleInit();
+void BoardConsolePuts(const char * str);
+void BoardConsolePutc(int);
+void BoardConsolePrintf(const char * fmt, ...) __attribute__ ((format(printf, 1, 2)));
+void BoardConsoleVPrintf(const char * fmt, va_list ap);
+
+#endif