From 7a24175f4cd478733ed92d88dd52154abefee864 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Tue, 12 May 2026 14:32:27 +1000
Subject: [PATCH] monitor: print format fix

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 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 bd8c3288e..028600477 100644
--- a/monitor/src/main.c
+++ b/monitor/src/main.c
@@ -553,7 +553,7 @@ static void print_tcb_registers(seL4_UserContext *regs)
     puts("rip : ");
     puthex64(regs->rip);
     puts("\n");
-    puts("rsp: ");
+    puts("rsp : ");
     puthex64(regs->rsp);
     puts("\n");
     puts("rflags : ");