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

Add config option for CONFIG_RESET_CHUNK_BITS

Browse Source 
The config variable is used in the kernel but no setting was provided
prio to this commit.
This commit is contained in:
Anna Lyons
2017-09-08 11:06:55 +10:00
parent cfb30f34b9
commit 71cde34b45
2 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Kconfig
View File

@@ -348,6 +348,12 @@ menu "seL4 System Parameters"
the kernel checks for pending interrupts (and preempts the the kernel checks for pending interrupts (and preempts the
currently running syscall if interrupts are pending). currently running syscall if interrupts are pending).
config RESET_CHUNK_BITS
int "Max chunks to reset when clearing memory"
default 8
help
Maximum size in bits of chunks of memory to zero before checking a preemption point.
config MAX_NUM_BOOTINFO_UNTYPED_CAPS config MAX_NUM_BOOTINFO_UNTYPED_CAPS
int "Max number of bootinfo untyped caps" int "Max number of bootinfo untyped caps"
default 167 default 167

5
config.cmake
View File

@@ -83,6 +83,11 @@ config_string(KernelMaxNumWorkUnitsPerPreemption MAX_NUM_WORK_UNITS_PER_PREEMPTI
DEFAULT 100 DEFAULT 100
UNQUOTE UNQUOTE
) )
config_string(KernelResetChunkBits RESET_CHUNK_BITS
"Maximum size in bits of chunks of memory to zero before checking a preemption point."
DEFAULT 8
UNQUOTE
)
config_string(KernelMaxNumBootinfoUntypedCaps MAX_NUM_BOOTINFO_UNTYPED_CAPS config_string(KernelMaxNumBootinfoUntypedCaps MAX_NUM_BOOTINFO_UNTYPED_CAPS
"Max number of bootinfo untyped caps" "Max number of bootinfo untyped caps"
DEFAULT 230 DEFAULT 230