From da2db02ebde6cb1db969a8953b3bba7524946764 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 17 May 2015 22:09:14 +0200
Subject: [PATCH] sel4: disable page-fault logging

---
 repos/base-sel4/src/core/pager.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-sel4/src/core/pager.cc b/repos/base-sel4/src/core/pager.cc
index fa8d35710..d4090005a 100644
--- a/repos/base-sel4/src/core/pager.cc
+++ b/repos/base-sel4/src/core/pager.cc
@@ -28,7 +28,7 @@
 
 using namespace Genode;
 
-static bool const verbose = true;
+static bool const verbose = false;
 
 
 struct Fault_info