monitor: Increase BOOTSTRAP_INVOCATION_DATA_SIZE

To enable protection domains with larger memory footprints. Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 25, 2023 · ce8aa3f · ce8aa3f
1 parent 95a4ab3
commit ce8aa3f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/monitor/src/main.c b/monitor/src/main.c
@@ -79,7 +79,7 @@
  *
  * FIXME: This can be smaller once compression is enabled.
  */
-#define BOOTSTRAP_INVOCATION_DATA_SIZE 110
+#define BOOTSTRAP_INVOCATION_DATA_SIZE 256
 
 seL4_IPCBuffer *__sel4_ipc_buffer;