kernel: kill proc with bogus ipc address

diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c
index 749ecb544c44a1ad0d13991114c27d34853b6fc1..eb588d7424c45846eea59253dd596d54b0665b0c 100644 (file)
--- 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;
        }