From ebdb1c6892614d95d18ad7e7ca1f41d6641aa5ae Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 16 Jun 2016 16:25:45 +0200 Subject: [PATCH] sel4: reduce initial memory demand of PD session This is a follow-up commit to "slab: throw exception if initial allocation fails". It is needed because on seL4, the PD session quota is used as backing store for the meta data of the PD's virtual memory. For this reason, PD sessions on seL4 require more session quota compared to the other kernels. Apparently, the default quota is too scarce to complete the PD-session construction. By shrinking the number of supported page-table entries, we reduce the size of the PD session component so that the creation succeeds. Issue #1983 --- repos/base-sel4/src/core/include/page_table_registry.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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_alloc; - Static_allocator _page_table_entry_alloc; + Static_allocator _page_table_entry_alloc; List _page_tables;