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");