portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Set default MAX_NUM_BOOTINFO_DEVICE_REGIONS to a value that will fit into the initial boot info frame

Browse source
This commit is contained in:
Anna Lyons 2014-09-03 12:03:34 +10:00
parent ec02c27ea7
commit fb7dd823bb
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Kconfig
View file

@ -195,7 +195,7 @@ menu "seL4 System Parameters"
config MAX_NUM_BOOTINFO_DEVICE_REGIONS
int "Max number of bootinfo device regions"
default 200
default 199
config MAX_NUM_BOOTINFO_UNTYPED_CAPS
int "Max number of bootinfo untyped caps"

2
include/config.h
View file

@ -55,7 +55,7 @@
/* maximum number of device regions in bootinfo */
/* WARNING: must match value in libsel4! */
#ifndef CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS
#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 200
#define CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS 199
#endif
/* maximum number of untyped caps in bootinfo */