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