Also deliver a signal to a process causing a page fault

diff --git a/kernel/arch/interrupt.c b/kernel/arch/interrupt.c
index 6aaf88a6c73a0100d38226aded20bfbe43103ea5..37b753765b3c29433a60f1f378c67db19eb0482a 100644 (file)
--- a/kernel/arch/interrupt.c
+++ b/kernel/arch/interrupt.c
@@ -175,10 +175,8 @@ void _exc_handle(stack_frame_t ctx)
                        if(process_get_pagedir(cproc, &pd) == 0) {
                                pg_fault_debug(pd, (void*)cr2);
                        }
-                       for(;;);
                }
 
-
                switch(ctx.intn) {
                default:
                case EXC_DEBUG: