Index: kernel/arch/mips64/src/mips64.c
===================================================================
--- kernel/arch/mips64/src/mips64.c	(revision 1dbc43f1c037ded959f69e4b6346df8bf12e2431)
+++ kernel/arch/mips64/src/mips64.c	(revision bcad855c010b3c34d90af0e20b0fb4bbff0f638c)
@@ -153,6 +153,7 @@
 #ifdef CONFIG_MIPS_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 msim keyboard port. Then initialize the serial line
+	 * module and connect it to the msim keyboard. Enable keyboard
+	 * interrupts.
 	 */
 	dsrlnin_instance_t *dsrlnin_instance