From b4f6f796d6b06d4f120d08266e439692cdc19c49 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 19 Dec 2022 16:25:47 +0100
Subject: [PATCH] Clear board/pc/devices

Information about PS/2 and PIT where moved to app/pci_decode in the
following commit.

  pci_decode: report devices from ACPI info

We still provide an empty <devices> node as the file itself is used by
platform agnostic run scripts.
---
 repos/base/board/pc/devices | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

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>