1 files changed, 14 insertions, 0 deletions
diff --git a/sys/arch/amd64/amd64/machdep.c b/sys/arch/amd64/amd64/machdep.c
index b047dd8..03b10f0 100644
--- a/sys/arch/amd64/amd64/machdep.c
+++ b/sys/arch/amd64/amd64/machdep.c
@@ -28,6 +28,7 @@
  */
 
 #include <sys/types.h>
+#include <sys/syslog.h>
 #include <machine/cpu.h>
 #include <machine/gdt.h>
 #include <machine/tss.h>
@@ -36,6 +37,7 @@
 #include <machine/asm.h>
 #include <machine/cpuid.h>
 #include <machine/lapic.h>
+#include <machine/uart.h>
 
 #if defined(__SPECTRE_IBRS)
 #define SPECTRE_IBRS  __SPECTRE_IBRS
@@ -90,6 +92,18 @@ try_mitigate_spectre(void)
     ibrs_enable();
 }
 
+void
+serial_init(void)
+{
+    uart_init();
+}
+
+void
+serial_putc(char c)
+{
+   uart_write(c);
+}
+
 /*
  * Get the descriptor for the currently
  * running processor.