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