From 71cde34b4548b7176ea4e7caca63fbd62da1d936 Mon Sep 17 00:00:00 2001
From: Anna Lyons <Anna.Lyons@data61.csiro.au>
Date: Fri, 8 Sep 2017 11:06:55 +1000
Subject: [PATCH] Add config option for CONFIG_RESET_CHUNK_BITS

The config variable is used in the kernel but no setting was provided
prio to this commit.
---
 Kconfig      | 6 ++++++
 config.cmake | 5 +++++
 2 files changed, 11 insertions(+)

diff --git a/Kconfig b/Kconfig
index f35e40054..49da8c730 100644
--- a/Kconfig
+++ b/Kconfig
@@ -348,6 +348,12 @@ menu "seL4 System Parameters"
             the kernel checks for pending interrupts (and preempts the
             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
         int "Max number of bootinfo untyped caps"
         default 167
diff --git a/config.cmake b/config.cmake
index ce15f61c1..d0cecade1 100644
--- a/config.cmake
+++ b/config.cmake
@@ -83,6 +83,11 @@ config_string(KernelMaxNumWorkUnitsPerPreemption MAX_NUM_WORK_UNITS_PER_PREEMPTI
     DEFAULT 100
     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
     "Max number of bootinfo untyped caps"
     DEFAULT 230