Index: arch/mips32/src/drivers/arc.c
===================================================================
--- arch/mips32/src/drivers/arc.c	(revision 607c5f9ed835a2f0301c7d609f3e38c0d5e4dc77)
+++ arch/mips32/src/drivers/arc.c	(revision b00fdde560b3ef069ecb5aed3e0f1e04f21fe28a)
@@ -184,2 +184,21 @@
 	
 }
+
+/** Try to get character, return character or -1 if not available */
+int arc_getchar(void)
+{
+	char ch;
+	__u32 count;
+	long result;
+
+	if (arc_entry->getreadstatus(0))
+		return -1;
+	result = arc_entry->read(0, &ch, 1, &count);
+	if (result || count!=1) {
+		cpu_halt();
+		return -1;
+	}
+	if (ch == '\r')
+		return '\n';
+	return ch;
+}
Index: arch/mips32/src/drivers/keyboard.c
===================================================================
--- arch/mips32/src/drivers/keyboard.c	(revision 607c5f9ed835a2f0301c7d609f3e38c0d5e4dc77)
+++ arch/mips32/src/drivers/keyboard.c	(revision b00fdde560b3ef069ecb5aed3e0f1e04f21fe28a)
@@ -36,19 +36,35 @@
 #include <synch/waitq.h>
 #include <typedefs.h>
+#include <arch/drivers/arc.h>
 
 static void keyboard_enable(void);
 static void keyboard_disable(void);
+static void arc_kb_disable(void);
+static void arc_kb_enable(void);
 
 static chardev_t kbrd;
-static chardev_operations_t ops = {
+
+static chardev_operations_t arc_ops = {
+	.resume = arc_kb_enable,
+	.suspend = arc_kb_disable
+};
+
+static chardev_operations_t msim_ops = {
 	.resume = keyboard_enable,
 	.suspend = keyboard_disable
 };
 
+static int arc_kb_enabled;
+
 /** Initialize keyboard subsystem. */
 void keyboard_init(void)
 {
-	cp0_unmask_int(KEYBOARD_IRQ);
-	chardev_initialize(&kbrd, &ops);
+	if (arc_enabled()) {
+		chardev_initialize(&kbrd, &arc_ops);
+		arc_kb_enabled = 1;
+	} else {
+		cp0_unmask_int(KEYBOARD_IRQ);
+		chardev_initialize(&kbrd, &msim_ops);
+	}
 	stdin = &kbrd;
 }
@@ -74,2 +90,26 @@
 	cp0_mask_int(KEYBOARD_IRQ);
 }
+
+/*****************************/
+/* Arc keyboard */
+
+void keyboard_poll(void)
+{
+	int ch;
+
+	if (!arc_enabled() || !arc_kb_enabled)
+		return;
+	while ((ch = arc_getchar()) != -1)
+		chardev_push_character(&kbrd, ch);		
+}
+
+static void arc_kb_enable(void)
+{
+	arc_kb_enabled = 1;
+}
+
+/* Called from getc(). */
+static void arc_kb_disable(void)
+{
+	arc_kb_enabled = 0;
+}