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

sel4: increase root cnode size in kernel

Browse Source 
required to boot setups like noux*

Issue #2044
This commit is contained in:
Alexander Boettcher 2016-07-08 12:54:17 +02:00 committed by Christian Helmuth
parent 3a9c6eab17
commit 90390fe053
3 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
repos/base-sel4/patches/root_cnode.patch Normal file
View File

@ -0,0 +1,11 @@
--- src/kernel/sel4/include/plat/pc99/autoconf.h
+++ src/kernel/sel4/include/plat/pc99/autoconf.h
@@ -77,7 +77,7 @@
#define CONFIG_USER_OPTIMISATION_O2 1
#define CONFIG_LIB_CPIO 1
#define CONFIG_RETYPE_FAN_OUT_LIMIT 256
-#define CONFIG_ROOT_CNODE_SIZE_BITS 12
+#define CONFIG_ROOT_CNODE_SIZE_BITS 15
#define CONFIG_NUM_PRIORITIES 256
#define CONFIG_TESTPRINTER_REGEX ".*"
#define CONFIG_APP_SEL4TEST 1

2
repos/base-sel4/ports/sel4.hash
View File

@ -1 +1 @@
805dca7fb390b8803114548e3c3175fced0c4d58
4a35ff120456dea8de73ace7d9af53ace91da540

4
repos/base-sel4/src/core/include/core_cspace.h
View File

@ -26,7 +26,8 @@ class Genode::Core_cspace
/* CNode dimensions */
enum {
NUM_TOP_SEL_LOG2 = 12UL,
NUM_CORE_SEL_LOG2 = 14UL,
/* CONFIG_ROOT_CNODE_SIZE_BITS from seL4 autoconf.h */
NUM_CORE_SEL_LOG2 = CONFIG_ROOT_CNODE_SIZE_BITS + 1,
NUM_PHYS_SEL_LOG2 = 20UL,
NUM_CORE_PAD_SEL_LOG2 = 32UL - NUM_TOP_SEL_LOG2 - NUM_CORE_SEL_LOG2,
@ -53,5 +54,4 @@ class Genode::Core_cspace
enum { CORE_VM_ID = 1 };
};
#endif /* _CORE__INCLUDE__CORE_CSPACE_H_ */