Index: kernel/arch/sparc64/src/drivers/pci.c
===================================================================
--- kernel/arch/sparc64/src/drivers/pci.c	(revision aed3e6a13374b1a34ec5021518f5f83de29cc4f1)
+++ kernel/arch/sparc64/src/drivers/pci.c	(revision df01d3034d9347967176e66fc948510d04e8201e)
@@ -112,10 +112,4 @@
 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
 
-	/*
-	 * Set sysinfo data needed by the uspace OBIO driver.
-	 */
-	sysinfo_set_item_val("obio.base.physical", NULL, paddr);
-	sysinfo_set_item_val("kbd.cir.obio", NULL, 1);
-
 	return pci;
 }
@@ -159,10 +153,4 @@
 	pci->reg = (uint64_t *) km_map(paddr, reg[PSYCHO_INTERNAL_REG].size,
 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
-
-	/*
-	 * Set sysinfo data needed by the uspace OBIO driver.
-	 */
-	sysinfo_set_item_val("obio.base.physical", NULL, paddr);
-	sysinfo_set_item_val("kbd.cir.obio", NULL, 1);
 
 	return pci;
Index: uspace/srv/hw/irc/obio/obio.c
===================================================================
--- uspace/srv/hw/irc/obio/obio.c	(revision aed3e6a13374b1a34ec5021518f5f83de29cc4f1)
+++ uspace/srv/hw/irc/obio/obio.c	(revision df01d3034d9347967176e66fc948510d04e8201e)
@@ -45,5 +45,4 @@
 #include <ipc/irc.h>
 #include <ns.h>
-#include <sysinfo.h>
 #include <as.h>
 #include <ddi.h>
@@ -112,6 +111,5 @@
 /** Initialize the OBIO driver.
  *
- * So far, the driver heavily depends on information provided by the kernel via
- * sysinfo. In the future, there should be a standalone OBIO driver.
+ * In the future, the OBIO driver should be integrated with the sun4u platform driver.
  */
 static bool obio_init(void)