Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision d1e844029e7efa0c93a3a78b306a196e4af6da8f)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 1f7753ac3caad5c5c1e675848e8770f3dcb74bbe)
@@ -168,14 +168,16 @@
 static NO_TRACE void fault_from_uspace_core(istate_t *istate, const char *fmt, va_list args)
 {
-	printf("Task %s (%" PRIu64 ") killed due to an exception at "
-	    "program counter %p.\n", TASK->name, TASK->taskid,
-	    (void *) istate_get_pc(istate));
-	
-	istate_decode(istate);
-	stack_trace_istate(istate);
-	
-	printf("Kill message: ");
-	vprintf(fmt, args);
-	printf("\n");
+	if (!TASK->silent_kill) {
+		printf("Task %s (%" PRIu64 ") killed due to an exception at "
+		    "program counter %p.\n", TASK->name, TASK->taskid,
+		    (void *) istate_get_pc(istate));
+	
+		istate_decode(istate);
+		stack_trace_istate(istate);
+	
+		printf("Kill message: ");
+		vprintf(fmt, args);
+		printf("\n");
+	}
 	
 	task_kill_self(true);
Index: kernel/generic/src/mm/backend_anon.c
===================================================================
--- kernel/generic/src/mm/backend_anon.c	(revision d1e844029e7efa0c93a3a78b306a196e4af6da8f)
+++ kernel/generic/src/mm/backend_anon.c	(revision 1f7753ac3caad5c5c1e675848e8770f3dcb74bbe)
@@ -255,6 +255,11 @@
 			 * Reserve the memory for this page now.
 			 */
-			if (!reserve_try_alloc(1))
+			if (!reserve_try_alloc(1)) {
+				printf("Killing task %" PRIu64 " due to a "
+				    "failed late reservation request.\n",
+				    TASK->taskid);
+				TASK->silent_kill = true;
 				return AS_PF_FAULT;
+			}
 		}
 
Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision d1e844029e7efa0c93a3a78b306a196e4af6da8f)
+++ kernel/generic/src/proc/task.c	(revision 1f7753ac3caad5c5c1e675848e8770f3dcb74bbe)
@@ -196,4 +196,6 @@
 	task->ucycles = 0;
 	task->kcycles = 0;
+
+	task->silent_kill = false;
 	
 	task->ipc_info.call_sent = 0;