]> Zhao Yanbai Git Server - minix.git/commitdiff
Don't panic so easily on unexpected pagefault.
authorCristiano Giuffrida <cristiano@minix3.org>
Tue, 20 Jul 2010 23:51:34 +0000 (23:51 +0000)
committerCristiano Giuffrida <cristiano@minix3.org>
Tue, 20 Jul 2010 23:51:34 +0000 (23:51 +0000)
kernel/arch/i386/exception.c

index dfbdbd383630e755d4ed0a1f47dcc4657b04924c..e623185bb6b02eb41603c746063f95bd6ca1929d 100644 (file)
@@ -74,8 +74,8 @@ PRIVATE void pagefault( struct proc *pr,
                        pagefaultcr2, frame->errcode, is_nested);
                proc_stacktrace(pr);
                printf("pc of pagefault: 0x%lx\n", frame->eip);
-               panic("page fault in system process: %d",  pr->p_endpoint);
-               
+               cause_sig(proc_nr(pr), SIGSEGV);
+
                return;
        }