genode/repos/base-sel4/patches/root_cnode.patch

--- 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 18
 #define CONFIG_NUM_PRIORITIES 256
 #define CONFIG_TESTPRINTER_REGEX ".*"
 #define CONFIG_APP_SEL4TEST 1
sel4: increase root cnode size in kernel required to boot setups like noux* Issue #2044 2016-07-08 12:54:17 +02:00			`--- 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`
sel4: update to 3.2.0 - disable iommu - increase root_cnode further for native boot - support vesa driver on native hardware - don't mask edge triggered ioapic irqs - increase various allocators to get noux_tool_chain_* booting natively Issue #2044 2016-07-21 14:40:16 +02:00			`+#define CONFIG_ROOT_CNODE_SIZE_BITS 18`
sel4: increase root cnode size in kernel required to boot setups like noux* Issue #2044 2016-07-08 12:54:17 +02:00			`#define CONFIG_NUM_PRIORITIES 256`
			`#define CONFIG_TESTPRINTER_REGEX ".*"`
			`#define CONFIG_APP_SEL4TEST 1`