From c3e73f0793a9d3b17ee2a1c45ea5771ad7ff5126 Mon Sep 17 00:00:00 2001 From: Erik van der Kouwe Date: Wed, 17 Mar 2010 18:23:51 +0000 Subject: [PATCH] Provide a warning is a kernel call has been denied, to ease system.conf debugging --- kernel/system.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kernel/system.c b/kernel/system.c index deb2dae1b..2137559ee 100644 --- a/kernel/system.c +++ b/kernel/system.c @@ -105,6 +105,8 @@ PRIVATE int kernel_call_dispatch(struct proc * caller, message *msg) 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 */ } else { /* handle the system call */