Changes in kernel/generic/src/interrupt/interrupt.c [5bcf1f9:96b02eb9] in mainline

File:

• kernel/generic/src/interrupt/interrupt.c (modified) (2 diffs)

kernel/generic/src/interrupt/interrupt.c

@@ -45 +45 @@
 #include <console/console.h>
 #include <console/cmd.h>
+#include <ipc/event.h>
 #include <synch/mutex.h>
 #include <time/delay.h>
@@ -187 +188 @@
         printf("\n");
         
-        task_kill_self(true);
-}
-
-/** Get istate structure of a thread.
- *
- * Get pointer to the istate structure at the bottom of the kernel stack.
- *
- * This function can be called in interrupt or user context. In interrupt
- * context the istate structure is created by the low-level exception
- * handler. In user context the istate structure is created by the
- * low-level syscall handler.
- */
-istate_t *istate_get(thread_t *thread)
-{
         /*
-         * The istate structure should be right at the bottom of the kernel
-         * stack.
+         * Userspace can subscribe for FAULT events to take action
+         * whenever a thread faults. (E.g. take a dump, run a debugger).
+         * The notification is always available, but unless Udebug is enabled,
+         * that's all you get.
          */
-        return (istate_t *) ((uint8_t *) thread->kstack + THREAD_STACK_SIZE -
-            sizeof(istate_t));
+        if (event_is_subscribed(EVENT_FAULT)) {
+                /* Notify the subscriber that a fault occurred. */
+                event_notify_3(EVENT_FAULT, LOWER32(TASK->taskid),
+                    UPPER32(TASK->taskid), (sysarg_t) THREAD);
+                
+#ifdef CONFIG_UDEBUG
+                /* Wait for a debugging session. */
+                udebug_thread_fault();
+#endif
+        }
+        
+        task_kill(TASK->taskid);
+        thread_exit();
 }