From 6939aaab09e99beb2fa589015d86cec9b80d5ff8 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 3ab09497e..f6f7fcacb 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;