diff --git a/repos/base/board/pc/devices b/repos/base/board/pc/devices
index b5ca5a1261..4143922c1b 100644
--- a/repos/base/board/pc/devices
+++ b/repos/base/board/pc/devices
@@ -1,13 +1,3 @@
 <devices>
-	<device name="ps2">
-		<irq number="1"/>
-		<irq number="12"/>
-		<io_port_range address="0x60" size="1"/>
-		<io_port_range address="0x64" size="1"/>
-	</device>
-
-	<device name="pit">
-		<irq number="0"/>
-		<io_port_range address="0x40" size="4"/>
-	</device>
+	<!-- no static device configuration for PC currently -->
 </devices>