RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

SELFOUR-1070: Makes CONFIG_NUM_DOMAINS 16 for x86_64

Browse Source 
This brings the standalone configuration for x86-64 in line with what is verified
This commit is contained in:
Adrian Danis
2017-08-21 16:25:58 +10:00
parent 57fa0e0f85
commit baa9798f79
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
configs/pc99/autoconf.h
View File

@@ -75,7 +75,7 @@
#define CONFIG_HAVE_LIB_SEL4_SIMPLE 1
#define CONFIG_HAVE_LIB_ELF 1
#define CONFIG_HAVE_LIB_PLATSUPPORT 1
#define CONFIG_NUM_DOMAINS 1
#define CONFIG_NUM_DOMAINS 16
#define CONFIG_ARCH_IA32 1
#define CONFIG_HAVE_LIB_UTILS 1
#define CONFIG_USER_OPTIMISATION_O2 1