Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision 36e9cd186877d97860a6d53672806bfac213cfa4)
+++ kernel/generic/include/ipc/ipc.h	(revision 827d73f23124302d0257a467a1990e68bd7a15e7)
@@ -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 36e9cd186877d97860a6d53672806bfac213cfa4)
+++ kernel/generic/include/time/clock.h	(revision 827d73f23124302d0257a467a1990e68bd7a15e7)
@@ -38,5 +38,5 @@
 #include <arch/types.h>
 
-#define HZ		100
+#define HZ		1000
 
 /** Uptime structure */
Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 36e9cd186877d97860a6d53672806bfac213cfa4)
+++ kernel/generic/src/ipc/irq.c	(revision 827d73f23124302d0257a467a1990e68bd7a15e7)
@@ -202,4 +202,6 @@
 	
 	interrupts_restore(ipl);
+//	explicitly enable irq
+	trap_virtual_enable_irqs( 1 << irq->inr );
 	return EOK;
 }