ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-07 19:34:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: definition of non-core cap-space parameters

Browse Source
This commit is contained in:
Norman Feske 2015-05-13 11:09:10 +02:00 committed by Christian Helmuth
parent f19f454ae5
commit 11b9a0f376
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
repos/base-sel4/src/base/internal/capability_space_sel4.h
View File

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