diff --git a/minix/kernel/system.c b/minix/kernel/system.c
index 50edbfccd..95c79e341 100644
--- a/minix/kernel/system.c
+++ b/minix/kernel/system.c
@@ -108,11 +108,11 @@ static int kernel_call_dispatch(struct proc * caller, message *msg)
 	  printf("SYSTEM: illegal request %d from %d.\n",
 			  call_nr,msg->m_source);
 	  result = EBADREQUEST;			/* illegal message type */
-  }
-  else if (!GET_BIT(priv(caller)->s_k_call_mask, call_nr)) {
-	  printf("SYSTEM: denied request %d from %d.\n",
-			  call_nr,msg->m_source);
-	  result = ECALLDENIED;			/* illegal message type */
+//  } /* We have to allow user processes to send messages to kernel */
+//  else if (!GET_BIT(priv(caller)->s_k_call_mask, call_nr)) {
+//	  printf("SYSTEM: denied request %d from %d.\n",
+//			  call_nr,msg->m_source);
+//	  result = ECALLDENIED;			/* illegal message type */
   } else {
 	  /* handle the system call */
 	  if (call_vec[call_nr])