From 5d33ea7242a8bd77312fdf840e91b2df98975b74 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 11 Oct 2024 14:44:06 +0200
Subject: [PATCH] driver/platform: allow access to platform info

Within the i.MX 8MP specific platform driver access to the
board name within the platform info XML is needed.

Ref issue#5360
---
 repos/os/src/driver/platform/common.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/os/src/driver/platform/common.h b/repos/os/src/driver/platform/common.h
index 411cce8b90..0f0216faf7 100644
--- a/repos/os/src/driver/platform/common.h
+++ b/repos/os/src/driver/platform/common.h
@@ -68,6 +68,9 @@ class Driver::Common : Device_reporter,
 		Io_mmu_devices & io_mmu_devices() {
 			return _io_mmu_devices; }
 
+		Xml_node platform_info() {
+			return _platform_info.xml(); }
+
 		void announce_service();
 		void handle_config(Xml_node config);
 		void acquire_io_mmu_devices();