From ce8aa3ffe3d47d83b86766b66ba388e0e825480d Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Wed, 16 Aug 2023 01:02:46 +0000 Subject: [PATCH] monitor: Increase BOOTSTRAP_INVOCATION_DATA_SIZE To enable protection domains with larger memory footprints. Signed-off-by: Nick Spinale --- 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 7706dcc91..a99a2fb1e 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 256 seL4_IPCBuffer *__sel4_ipc_buffer;