From 11b9a0f376a4f18b63fa316b339fdea254f1d500 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 13 May 2015 11:09:10 +0200 Subject: [PATCH] sel4: definition of non-core cap-space parameters --- .../src/base/internal/capability_space_sel4.h | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/repos/base-sel4/src/base/internal/capability_space_sel4.h b/repos/base-sel4/src/base/internal/capability_space_sel4.h index af0701360d..82b5aa5d2a 100644 --- a/repos/base-sel4/src/base/internal/capability_space_sel4.h +++ b/repos/base-sel4/src/base/internal/capability_space_sel4.h @@ -72,6 +72,21 @@ namespace Genode { namespace Capability_space { } } +namespace Genode +{ + enum { + INITIAL_SEL_PARENT = 1, + INITIAL_SEL_CNODE = 2, + INITIAL_SEL_END + }; + + enum { + CSPACE_SIZE_LOG2 = 12, + NUM_CORE_MANAGED_SEL_LOG2 = 10, + }; +}; + + /** * Capability space template *