Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 411b6a6f0339f865eaac5f492f2277fdfbbd5fcc)
+++ kernel/arch/ia64/src/ia64.c	(revision 4c84368e34db9ed3c112d4031ed0ebb003a82806)
@@ -56,6 +56,8 @@
 #include <genarch/drivers/ega/ega.h>
 #include <genarch/kbrd/kbrd.h>
+#include <genarch/srln/srln.h>
 #include <genarch/drivers/i8042/i8042.h>
-#include <genarch/kbd/ns16550.h>
+#include <genarch/drivers/ns16550/ns16550.h>
+#include <arch/drivers/kbd.h>
 #include <smp/smp.h>
 #include <smp/ipi.h>
@@ -171,5 +173,7 @@
 #ifdef CONFIG_NS16550
 	inr = NS16550_IRQ;
-	(void) ns16550_init((ns16550_t *)NS16550_BASE, devno, inr, NULL, NULL);
+	srln_init(stdin);
+	(void) ns16550_init((ns16550_t *)NS16550_BASE, devno, inr, NULL, NULL,
+	    &srlnin);
 	sysinfo_set_item_val("kbd.type", NULL, KBD_NS16550);
 	sysinfo_set_item_val("kbd.address.physical", NULL,