From 10d6400d80e62b82cee99d4d33bd9057ddf4c184 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@noto.il.is.s.u-tokyo.ac.jp>
Date: Wed, 10 Oct 2012 19:16:44 +0900
Subject: [PATCH] enable syscall channels for all MIC cores

---
 kernel/ap.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/kernel/ap.c b/kernel/ap.c
index d7015fa1..13dae763 100644
--- a/kernel/ap.c
+++ b/kernel/ap.c
@@ -18,11 +18,10 @@ static void ap_wait(void)
 	kmalloc_init();
 	sched_init();
 
-	/*
 	if (find_command_line("hidos")) {
 		init_host_syscall_channel();
 	}
-	*/
+	
 	pc_ap_init();
 
 	/* one of them listens */