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.
This commit is contained in:
Johannes Schlatow 2022-11-16 12:51:00 +01:00 committed by Christian Helmuth
parent f6825eea5f
commit 132906c925

View File

@ -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) {