diff --git a/arch/x86/include/asm/icc.h b/arch/x86/include/asm/icc.h
index dfc69302..f08bd07c 100644
--- a/arch/x86/include/asm/icc.h
+++ b/arch/x86/include/asm/icc.h
@@ -54,6 +54,8 @@ int icc_init(void);
 int icc_ping(int ue);
 void icc_check(void);
 int icc_halt(void);
+int icc_mail_ping(void);
+
 #endif
 
 #ifdef __cplusplus
diff --git a/arch/x86/scc/icc.c b/arch/x86/scc/icc.c
index 594b6ebb..531001e6 100644
--- a/arch/x86/scc/icc.c
+++ b/arch/x86/scc/icc.c
@@ -237,6 +237,7 @@ int icc_mail_ping( void )
 	
 	// iRCCE is not thread save => disable interrupts
 	flags = irq_nested_disable();
+	kprintf( "Hello from icc_mail_ping\n" );	
 
 	// send mail
 	iRCCE_mail_send( 0, my_ue, 0, NULL, remote_rank );
diff --git a/kernel/mailbox.c b/kernel/mailbox.c
index f34f9e1a..36e01e59 100644
--- a/kernel/mailbox.c
+++ b/kernel/mailbox.c
@@ -28,6 +28,7 @@
 #include <asm/icc.h>
 
 int STDCALL mail_ping(void* arg) {
+	kprintf( "Hello from mail_ping\n" );
 	icc_mail_ping();	
 	
 	return 0;
@@ -36,7 +37,7 @@ int STDCALL mail_ping(void* arg) {
 int mailbox_test_init(void)
 {
 	char* argv[] = {"/bin/mailbox", NULL};
-
+	kprintf( "Hello from mailbox_test_init\n" );
 	create_user_task(NULL, "/bin/mailbox", argv);
 
 	return 0;