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, Capability cap; + update(); with_xml([&] (Xml_node & xml) { xml.for_each_sub_node("device", [&] (Xml_node node) {