Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision 9043309ca559f4ee30a58bf6d6fb595b8add955e)
+++ kernel/generic/include/proc/task.h	(revision dbb3552c5a45da259d55e868b4b17fca50016c38)
@@ -134,4 +134,7 @@
 	uint64_t ucycles;
 	uint64_t kcycles;
+
+	/** If true, do not attempt to print a verbose kill message. */ 
+	bool silent_kill;
 } task_t;
 
Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 9043309ca559f4ee30a58bf6d6fb595b8add955e)
+++ kernel/generic/src/interrupt/interrupt.c	(revision dbb3552c5a45da259d55e868b4b17fca50016c38)
@@ -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 9043309ca559f4ee30a58bf6d6fb595b8add955e)
+++ kernel/generic/src/mm/backend_anon.c	(revision dbb3552c5a45da259d55e868b4b17fca50016c38)
@@ -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 9043309ca559f4ee30a58bf6d6fb595b8add955e)
+++ kernel/generic/src/proc/task.c	(revision dbb3552c5a45da259d55e868b4b17fca50016c38)
@@ -196,4 +196,6 @@
 	task->ucycles = 0;
 	task->kcycles = 0;
+
+	task->silent_kill = false;
 	
 	task->ipc_info.call_sent = 0;