From cafeacedfaffb5ba98184eb5f5b6566a3de20d23 Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 6 Nov 2024 11:00:23 +1100
Subject: [PATCH] [no ci] examples/simple: fix comment for multi-arch

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
---
 examples/simple/vmm.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/simple/vmm.c b/examples/simple/vmm.c
index 499fe8dd..e484ca73 100644
--- a/examples/simple/vmm.c
+++ b/examples/simple/vmm.c
@@ -114,7 +114,7 @@ void init(void) {
         LOG_VMM_ERR("Failed to initialise guest images\n");
         return;
     }
-    /* Initialise the virtual GIC driver */
+    /* Interrupt setup */
     bool success = virq_controller_init(GUEST_VCPU_ID);
     if (!success) {
         LOG_VMM_ERR("Failed to initialise emulated interrupt controller\n");