monitor: Increase BOOTSTRAP_INVOCATION_DATA_SIZE

To enable protection domains with larger memory footprints. Signed-off-by: Ivan Velickovic <[email protected]> Co-authored-by: Nick Spinale <[email protected]>
seL4 · Jan 18, 2024 · 88666dc · 88666dc
1 parent ad271b5
commit 88666dc
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 150
 
 seL4_IPCBuffer *__sel4_ipc_buffer;