Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision 9510be264c00304989cfb15d1c9fb1e0e5e9a022)
+++ kernel/generic/include/ipc/ipc.h	(revision b648ae4bb0cb06a7ec37a14feca67b40c4f86490)
@@ -227,5 +227,5 @@
 #ifdef KERNEL
 
-#define IPC_MAX_PHONES  16
+#define IPC_MAX_PHONES  32
 
 #include <synch/spinlock.h>
Index: kernel/generic/include/time/clock.h
===================================================================
--- kernel/generic/include/time/clock.h	(revision 9510be264c00304989cfb15d1c9fb1e0e5e9a022)
+++ kernel/generic/include/time/clock.h	(revision b648ae4bb0cb06a7ec37a14feca67b40c4f86490)
@@ -38,5 +38,5 @@
 #include <arch/types.h>
 
-#define HZ		100
+#define HZ		1000
 
 /** Uptime structure */