Gracefull crash if FPU exception in kernel

diff --git a/kernel/arch/i386/mpx.S b/kernel/arch/i386/mpx.S
index 4e969e6c3b1417e1d52136cc1d4125a0793becdc..bc8e926edcd0b1fa9cbdfb4543ae5ce26b74b154 100644 (file)
--- a/kernel/arch/i386/mpx.S
+++ b/kernel/arch/i386/mpx.S
@@ -619,8 +619,9 @@ copr_return:
        jmp     _switch_to_user
 
 copr_not_available_in_kernel:
-       movl    $0, (%esp)
-       call    _panic
+       pushl   $0
+       pushl   $COPROC_NOT_VECTOR
+       jmp     exception_entry_nested
 
 _double_fault:
        EXCEPTION_ERR_CODE(DOUBLE_FAULT_VECTOR)