Index: kernel/arch/arm32/src/drivers/gxemul.c
===================================================================
--- kernel/arch/arm32/src/drivers/gxemul.c	(revision 1e23e1606ce0db1b69b7ef358deb4ae88ea16f0b)
+++ kernel/arch/arm32/src/drivers/gxemul.c	(revision 9446f39954821a64d8b4c4a6a6b597fa101b555f)
@@ -188,18 +188,14 @@
 static void gxemul_irq_handler(irq_t *irq)
 {
-	if ((irq->notif_cfg.notify) && (irq->notif_cfg.answerbox)) {
-		ipc_irq_send_notif(irq);
-	} else {
-		char ch = 0;
+	char ch = 0;
 		
-		ch = *((char *) gxemul_hw_map.kbd);
-		if (ch == '\r') {
-			ch = '\n';
-		}
-		if (ch == 0x7f) {
-			ch = '\b';
-		}
-		chardev_push_character(&console, ch);
-	}
+	ch = *((char *) gxemul_hw_map.kbd);
+	if (ch == '\r') {
+		ch = '\n';
+	}
+	if (ch == 0x7f) {
+		ch = '\b';
+	}
+	chardev_push_character(&console, ch);
 }