kernel: send user interrupt on page fault

I really should just rename interrupts to something else.

This is inspired by Plan9 and meant to make debugging easier, as the
dying process can take a stacktrace etc.

It kinda sucks that the default handler now depends on fprintf, which is quite
a bit of code, but whatever.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/kernel/proc.h b/src/kernel/proc.h
index bd4c961..0de740f 100644
--- a/src/kernel/proc.h
+++ b/src/kernel/proc.h
@@ -126,6 +126,7 @@ void proc_tryreap(Proc *dead);
 
 /** Send an interupt to a process. */
 void proc_intr(Proc *p, const char *buf, size_t len);
+void proc_intr_deliver(Proc *p);
 
 /** Switches execution to any running process. */
 _Noreturn void proc_switch_any(void);