diff --git a/repos/base-sel4/src/core/include/page_table_registry.h b/repos/base-sel4/src/core/include/page_table_registry.h
index 23fd39ed9d..60c0625250 100644
--- a/repos/base-sel4/src/core/include/page_table_registry.h
+++ b/repos/base-sel4/src/core/include/page_table_registry.h
@@ -165,7 +165,7 @@ class Genode::Page_table_registry
 		};
 
 		Static_allocator<Page_table, 128>         _page_table_alloc;
-		Static_allocator<Page_table::Entry, 4096> _page_table_entry_alloc;
+		Static_allocator<Page_table::Entry, 2048> _page_table_entry_alloc;
 
 		List<Page_table> _page_tables;