From 925192fca12953a16083282000d0c7a2baf0a8ec Mon Sep 17 00:00:00 2001
From: Aaron Lindsay <aaron@aclindsay.com>
Date: Sat, 29 Sep 2012 23:29:35 -0400
Subject: [PATCH] start_kernel.c: Use Raspberry Pi's mini_UART for print()

---
 kernel/start_kernel.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/kernel/start_kernel.c b/kernel/start_kernel.c
index 851641b..b455fc8 100644
--- a/kernel/start_kernel.c
+++ b/kernel/start_kernel.c
@@ -23,7 +23,7 @@
 #include <mmu.h>
 #include <mm.h>
 #include <print.h>
-#include <devices/pl011.h>
+#include <devices/pi_mini_uart.h>
 
 #include <devices/pl111.h>
 #include <framebuffer.h>
@@ -122,7 +122,8 @@ int main(void) {
 	mmu_reinit();
 
 	//initialize the serial console
-	print_init(&pl011_putc);
+	mini_uart_init();
+	print_init(&mini_uart_putc);
 
 	//setup memory
 	mm_init();