Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision b60c582d0cf4f0476a720c8e05bd742fbffc87ce)
+++ kernel/arch/arm32/src/arm32.c	(revision c8bf88d737f715dd3bf256ec6f8bf31e0d3be7e1)
@@ -129,6 +129,6 @@
 #ifdef CONFIG_ARM_KBD
 	/*
-	 * Initialize the msim/GXemul keyboard port. Then initialize the serial line
-	 * module and connect it to the msim/GXemul keyboard. Enable keyboard interrupts.
+	 * Initialize the GXemul keyboard port. Then initialize the serial line
+	 * module and connect it to the GXemul keyboard. Enable keyboard interrupts.
 	 */
 	indev_t *kbrdin = dsrlnin_init((dsrlnin_t *) gxemul_kbd, GXEMUL_KBD_IRQ);