From 5471ef7e1ec26ef1c4fb86bbce82be0050358181 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 19 Oct 2023 14:17:30 +0200
Subject: [PATCH] hw: increase default page-table array

Fix #5035
---
 repos/base-hw/src/core/kernel/configuration.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 */