From 132906c92554566e3217852ba69df4e3ab21c5bd Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <johannes.schlatow@genode-labs.com>
Date: Wed, 16 Nov 2022 12:51:00 +0100
Subject: [PATCH] platform_drv: update ROM in device_by_type()

This is required for scenarios in which a device appears at a later
point in time. If the ROM is not updated, the device_by_type() method may
operate on an outdated dataspace and never find the device it is waiting for.
---
 repos/os/include/platform_session/connection.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/include/platform_session/connection.h b/repos/os/include/platform_session/connection.h
index fbfa62a024..a0e8a4f2b0 100644
--- a/repos/os/include/platform_session/connection.h
+++ b/repos/os/include/platform_session/connection.h
@@ -139,6 +139,7 @@ class Platform::Connection : public Genode::Connection<Session>,
 
 				Capability<Device_interface> cap;
 
+				update();
 				with_xml([&] (Xml_node & xml) {
 					xml.for_each_sub_node("device", [&] (Xml_node node) {