Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision e06da7efc998285c1aa3d8a9ceb29e2a5aea6fdb)
+++ kernel/generic/src/ipc/ipc.c	(revision 74c8da2cccbb4fc6d0f008bd445bdcecfa733400)
@@ -45,4 +45,5 @@
 #include <ipc/ipc.h>
 #include <ipc/kbox.h>
+#include <event/event.h>
 #include <errno.h>
 #include <mm/slab.h>
@@ -51,4 +52,5 @@
 #include <memstr.h>
 #include <debug.h>
+
 
 #include <print.h>
@@ -526,4 +528,7 @@
 	for (i = 0; i < IPC_MAX_PHONES; i++)
 		ipc_phone_hangup(&TASK->phones[i]);
+
+	/* Unsubscribe from any event notifications. */
+	event_cleanup_answerbox(&TASK->answerbox);
 
 	/* Disconnect all connected irqs */