Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision de6b301a63efb6d81e9db05625bc3438102b9842)
+++ generic/src/main/kinit.c	(revision 5c089c3a1844b12110b689bce338fdd5d4d26e7a)
@@ -139,4 +139,6 @@
 	interrupts_enable();
 
+	ipc_create_phonecompany();
+
 	if (config.init_size > 0) {
 		/*
Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision de6b301a63efb6d81e9db05625bc3438102b9842)
+++ generic/src/main/main.c	(revision 5c089c3a1844b12110b689bce338fdd5d4d26e7a)
@@ -55,4 +55,5 @@
 #include <arch/faddr.h>
 #include <typedefs.h>
+#include <ipc/ipc.h>
 
 #ifdef CONFIG_SMP
@@ -191,5 +192,6 @@
 	if (config.init_size > 0)
 		printf("config.init_addr=%P, config.init_size=%d\n", config.init_addr, config.init_size);
-
+	
+	ipc_init();
 	/*
 	 * Create kernel task.