From c88eba53c5e3bb8680ed0aa431fbc6c258909337 Mon Sep 17 00:00:00 2001
From: Taku Shimosawa <shimosawa@is.s.u-tokyo.ac.jp>
Date: Tue, 28 Feb 2012 11:03:39 +0900
Subject: [PATCH] kernel command line is printed out during init

---
 kernel/init.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/kernel/init.c b/kernel/init.c
index 57392186..eaffc84b 100644
--- a/kernel/init.c
+++ b/kernel/init.c
@@ -127,6 +127,10 @@ static void pc_test(void)
 
 static void rest_init(void)
 {
+	char *cmdline;
+	cmdline = aal_mc_get_kernel_args();
+	kprintf("KCommand Line: %s\n", cmdline);
+
 	handler_init();
 
 	aal_mc_dma_init();