Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 42742c5a9c4daa815f9a9127c69040aed0d194e0)
+++ kernel/arch/amd64/src/amd64.c	(revision 4c7257ba8f4ef0df71aab7099fb893bdddff511d)
@@ -64,4 +64,5 @@
 #include <ddi/irq.h>
 #include <ddi/device.h>
+#include <sysinfo/sysinfo.h>
 
 
@@ -174,7 +175,15 @@
 void arch_post_smp_init(void)
 {
+	devno_t devno = device_assign_devno();
 	/* keyboard controller */
-	(void) i8042_init((i8042_t *) I8042_BASE, device_assign_devno(),
-	    IRQ_KBD);
+	(void) i8042_init((i8042_t *) I8042_BASE, devno, IRQ_KBD);
+
+	/*
+	 * This is the necessary evil until the userspace driver is entirely
+	 * self-sufficient.
+	 */
+	sysinfo_set_item_val("kbd", NULL, true);
+	sysinfo_set_item_val("kbd.devno", NULL, devno);
+	sysinfo_set_item_val("kbd.inr", NULL, IRQ_KBD);
 }
 
Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 42742c5a9c4daa815f9a9127c69040aed0d194e0)
+++ kernel/arch/ia32/src/ia32.c	(revision 4c7257ba8f4ef0df71aab7099fb893bdddff511d)
@@ -63,4 +63,5 @@
 #include <console/console.h>
 #include <ddi/device.h>
+#include <sysinfo/sysinfo.h>
 
 #ifdef CONFIG_SMP
@@ -125,7 +126,15 @@
 void arch_post_smp_init(void)
 {
-	devno_t kbd = device_assign_devno();
+	devno_t devno = device_assign_devno();
 	/* keyboard controller */
-	(void) i8042_init((i8042_t *) I8042_BASE, kbd, IRQ_KBD);
+	(void) i8042_init((i8042_t *) I8042_BASE, devno, IRQ_KBD);
+
+	/*
+	 * This is the necessary evil until the userspace driver is entirely
+	 * self-sufficient.
+	 */
+	sysinfo_set_item_val("kbd", NULL, true);
+	sysinfo_set_item_val("kbd.devno", NULL, devno);
+	sysinfo_set_item_val("kbd.inr", NULL, IRQ_KBD);
 }
 
Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 42742c5a9c4daa815f9a9127c69040aed0d194e0)
+++ kernel/arch/ia64/src/ia64.c	(revision 4c7257ba8f4ef0df71aab7099fb893bdddff511d)
@@ -161,12 +161,20 @@
 
 #ifdef I460GX
-	devno_t kbd = device_assign_devno();
+	devno_t devno = device_assign_devno();
+	inr_t inr;
 
 #ifdef CONFIG_NS16550
-	(void) ns16550_init((ns16550_t *)NS16550_BASE, kbd, NS16550_IRQ, NULL,
-	     NULL);
+	inr = NS16550_IRQ;
+	(void) ns16550_init((ns16550_t *)NS16550_BASE, devno, inr, NULL, NULL);
+	sysinfo_set_item_val("kbd.type", NULL, KBD_NS16550);
+	sysinfo_set_item_val("kbd.port", NULL, (uintptr_t)NS16550_BASE);
 #else
-	(void) i8042_init((i8042_t *)I8042_BASE, kbd, IRQ_KBD);
-#endif
+	inr = IRQ_KBD;
+	(void) i8042_init((i8042_t *)I8042_BASE, devno, inr);
+	sysinfo_set_item_val("kbd.type", NULL, KBD_LEGACY);
+#endif
+	sysinfo_set_item_val("kbd", NULL, true);
+	sysinfo_set_item_val("kbd.devno", NULL, devno);
+	sysinfo_set_item_val("kbd.inr", NULL, inr);
 #endif
 
Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision 42742c5a9c4daa815f9a9127c69040aed0d194e0)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision 4c7257ba8f4ef0df71aab7099fb893bdddff511d)
@@ -67,4 +67,11 @@
 	cir_t cir;
 	void *cir_arg;
+
+#ifdef CONFIG_NS16550
+	ns16550_t *ns16550;
+#endif
+#ifdef CONFIG_Z8530
+	z8530_t *z8530;
+#endif
 	
 	name = ofw_tree_node_name(node);
@@ -101,4 +108,5 @@
 	uintptr_t pa;
 	size_t size;
+	devno_t devno;
 	inr_t inr;
 	
@@ -149,14 +157,40 @@
 #ifdef CONFIG_Z8530
 	case KBD_Z8530:
-		(void) z8530_init((z8530_t *) hw_map(aligned_addr,
-		    offset + size) + offset, device_assign_devno(), inr, cir,
-		    cir_arg);
+		devno = device_assign_devno();
+		z8530 = (z8530_t *) hw_map(aligned_addr, offset + size) +
+		    offset;
+		(void) z8530_init(z8530, devno, inr, cir, cir_arg);
+		
+		/*
+		 * This is the necessary evil until the userspace drivers are
+		 * entirely self-sufficient.
+		 */
+		sysinfo_set_item_val("kbd", NULL, true);
+		sysinfo_set_item_val("kbd.type", NULL, KBD_Z8530);
+		sysinfo_set_item_val("kbd.devno", NULL, devno);
+		sysinfo_set_item_val("kbd.inr", NULL, inr);
+		sysinfo_set_item_val("kbd.address.virtual", NULL,
+		    (uintptr_t) z8530);
+		sysinfo_set_item_val("kbd.address.physical", NULL, pa);
 		break;
 #endif
 #ifdef CONFIG_NS16550
 	case KBD_NS16550:
-		(void) ns16550_init((ns16550_t *) (hw_map(aligned_addr,
-		    offset + size) + offset), device_assign_devno(), inr, cir,
-		    cir_arg);
+		devno = device_assign_devno();
+		ns16550 = (ns16550_t *) hw_map(aligned_addr, offset + size) +
+		    offset;
+		(void) ns16550_init(ns16550, devno, inr, cir, cir_arg);
+		
+		/*
+		 * This is the necessary evil until the userspace driver is
+		 * entirely self-sufficient.
+		 */
+		sysinfo_set_item_val("kbd", NULL, true);
+		sysinfo_set_item_val("kbd.type", NULL, KBD_NS16550);
+		sysinfo_set_item_val("kbd.devno", NULL, devno);
+		sysinfo_set_item_val("kbd.inr", NULL, inr);
+		sysinfo_set_item_val("kbd.address.virtual", NULL,
+		    (uintptr_t) ns16550);
+		sysinfo_set_item_val("kbd.address.physical", NULL, pa);
 		break;
 #endif