Index: ns/ns.c
===================================================================
--- ns/ns.c	(revision 602ca36b1005f188e4a62c36390cd43aed991f6d)
+++ ns/ns.c	(revision f33cb0b99498a444ce8def8eb0b9b30ed94f523e)
@@ -15,4 +15,15 @@
 };
 */
+/*
+irq_cmd_t i8042_cmds[1] = {
+	{ CMD_PORT_READ_1, (void *)0x60, 0 }
+};
+
+irq_code_t i8042_kbd = {
+	1,
+	i8042_cmds
+};
+*/
+
 static int service;
 
@@ -26,4 +37,5 @@
 	printf("NS:Name service started.\n");
 //	ipc_register_irq(2, &msim_kbd);
+//	ipc_register_irq(1, &i8042_kbd);
 	while (1) {
 		callid = ipc_wait_for_call(&call, 0);