diff --git a/repos/base-hw/src/core/kernel/configuration.h b/repos/base-hw/src/core/kernel/configuration.h
index b62aaf72d9..c5ea31f871 100644
--- a/repos/base-hw/src/core/kernel/configuration.h
+++ b/repos/base-hw/src/core/kernel/configuration.h
@@ -20,7 +20,7 @@ namespace Kernel {
 
 	enum {
 		DEFAULT_STACK_SIZE = 16 * 1024,
-		DEFAULT_TRANSLATION_TABLE_MAX = 128,
+		DEFAULT_TRANSLATION_TABLE_MAX = 1024,
 	};
 
 	/* amount of priority bands amongst quota owners in CPU scheduling */