From 6e535c3aafa2090ae8be2d0608379f31e5085dcd Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Fri, 16 Nov 2012 20:21:21 +0100
Subject: [PATCH] kernel: kill proc with bogus ipc address

---
 kernel/arch/i386/memory.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c
index 749ecb544..eb588d742 100644
--- a/kernel/arch/i386/memory.c
+++ b/kernel/arch/i386/memory.c
@@ -487,6 +487,7 @@ void delivermsg(struct proc *rp)
 				rp->p_delivermsg_vir,
 				rp->p_name,
 				rp->p_endpoint);
+		cause_sig(rp->p_nr, SIGSEGV);
 		r = EFAULT;
 	}
 
-- 
2.11.4.GIT