genode/repos/base-sel4/src/core/include
Norman Feske ebdb1c6892 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
2016-06-22 12:21:42 +02:00
..
cap_sel_alloc.h base: uniform base-internal header structure 2016-03-07 12:34:45 +01:00
cnode.h sel4: update to version 2.1 2016-02-26 11:36:55 +01:00
core_capability_data.h base: update include guards 2016-03-07 12:34:45 +01:00
core_capability_space.h base: uniform base-internal header structure 2016-03-07 12:34:45 +01:00
core_cspace.h sel4: update to version 2.1 2016-02-26 11:36:55 +01:00
initial_untyped_pool.h sel4: update to version 2.1 2016-02-26 11:36:55 +01:00
install_mapping.h base: remove pager code from public API 2015-07-01 14:46:15 +02:00
ipc_pager.h Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
kernel_object.h sel4: update to version 2.1 2016-02-26 11:36:55 +01:00
map_local.h sel4: bootstrap of init and page-fault handling 2015-05-26 09:40:00 +02:00
page_table_registry.h sel4: reduce initial memory demand of PD session 2016-06-22 12:21:42 +02:00
platform_pd.h Assign threads to PD at its creation time 2016-05-09 13:10:52 +02:00
platform_thread.h Assign threads to PD at its creation time 2016-05-09 13:10:52 +02:00
platform.h sel4: update to version 2.1 2016-02-26 11:36:55 +01:00
rpc_cap_factory.h Integrate CAP session into PD session 2016-03-07 12:34:44 +01:00
sel4_boot_info.h sel4: update to version 2.1 2016-02-26 11:36:55 +01:00
thread_sel4.h base: uniform base-internal header structure 2016-03-07 12:34:45 +01:00
untyped_memory.h Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
util.h Assign threads to PD at its creation time 2016-05-09 13:10:52 +02:00
vm_space.h sel4: allocate vm-space meta data statically 2016-04-25 10:47:54 +02:00