Merge branch 'seL4:main' into main

seL4 · Jan 18, 2024 · 41bf334 · 41bf334
2 parents cd6550b + 88666dc
commit 41bf334
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;