From 24c41290200d078bca0aa048b627443a29d95b84 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Thu, 18 Jan 2024 12:55:26 +1100
Subject: [PATCH] monitor: Increase BOOTSTRAP_INVOCATION_DATA_SIZE

To enable protection domains with larger memory footprints.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Co-authored-by: Nick Spinale <nick@nickspinale.com>
---
 monitor/src/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/monitor/src/main.c b/monitor/src/main.c
index 3ab09497..876a33da 100644
--- 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;