mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 15:56:41 +00:00
356e6498b6
- 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
12 lines
408 B
Diff
12 lines
408 B
Diff
--- 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
|