Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision e49e2348e7647a4dd4d4e2879082790396c4f4f3)
+++ 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);
 }