From dca71dbad9619616e7780fb815ab4e293dfb84b8 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 12 Dec 2022 15:09:50 +0100
Subject: [PATCH] pci_decode: add acpi device

Use it as point to defer clients (e.g. ACPI-CA) until platform driver could
claim all resources.

Issue #4679
---
 repos/os/src/app/pci_decode/main.cc | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/repos/os/src/app/pci_decode/main.cc b/repos/os/src/app/pci_decode/main.cc
index 3384b281ac..1bff87b184 100644
--- a/repos/os/src/app/pci_decode/main.cc
+++ b/repos/os/src/app/pci_decode/main.cc
@@ -303,6 +303,14 @@ void Main::parse_acpi_device_info(Xml_generator & gen)
 			gen.attribute("size", 4U);
 		});
 	});
+
+	/*
+	 * ACPI device
+	 */
+	gen.node("device", [&]
+	{
+		gen.attribute("name", "acpi");
+	});
 }