Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision ab4bace49a15f19c4af11adbd750419e62886c26)
+++ kernel/generic/src/ipc/irq.c	(revision 924c75e15c9b616be210fa9c2c5f37204c6c2feb)
@@ -149,4 +149,6 @@
 		(unative_t) devno
 	};
+	
+	printf("kernel ipc_irq_register() ... registering irq = %d\n", inr);
 	
 	if (ucode) {
@@ -202,4 +204,7 @@
 	
 	interrupts_restore(ipl);
+	
+	printf("kernel ipc_irq_register() ... registering irq = %d was successful \n", inr);
+
 	return EOK;
 }