Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision 26d3ae2d56cbdf7eaecdc582b53cef8f6ebf6f7c)
+++ kernel/generic/include/ipc/ipc.h	(revision 209faf93503c78d1423ac244db45224381577454)
@@ -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 26d3ae2d56cbdf7eaecdc582b53cef8f6ebf6f7c)
+++ kernel/generic/include/time/clock.h	(revision 209faf93503c78d1423ac244db45224381577454)
@@ -38,5 +38,5 @@
 #include <arch/types.h>
 
-#define HZ		100
+#define HZ		1000
 
 /** Uptime structure */