fix: copy global variable to local

Signed-off-by: isubasinghe <[email protected]>
seL4 · Jan 18, 2024 · 7a33afd · 7a33afd
1 parent 622a6f1
commit 7a33afd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/monitor/src/main.c b/monitor/src/main.c
@@ -440,6 +440,8 @@ static void monitor(void)
         seL4_Error err;
 
         tag = seL4_Recv(fault_ep, &gbadge, reply);
+        badge = gbadge;
+
         label = seL4_MessageInfo_get_label(tag);
 
         seL4_Word tcb_cap = tcbs[badge];