From 3485282909a22e12d4598094f35c2adaac421be6 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Thu, 18 Feb 2021 16:46:47 +0100 Subject: [PATCH] drivers/platform/rpi: remove dead code Ref #3961 --- .../os/src/drivers/platform/rpi/rpi_device.cc | 19 ++++++------------- 1 file changed, 6 insertions(+), 13 deletions(-) diff --git a/repos/os/src/drivers/platform/rpi/rpi_device.cc b/repos/os/src/drivers/platform/rpi/rpi_device.cc index 9eddbefda3..92f2e4a893 100644 --- a/repos/os/src/drivers/platform/rpi/rpi_device.cc +++ b/repos/os/src/drivers/platform/rpi/rpi_device.cc @@ -66,18 +66,11 @@ void Driver::Rpi_device::release(Session_component & sc) } -void Driver::Rpi_device::_report_platform_specifics(Genode::Xml_generator & /*xml*/, - Driver::Session_component & /*sc*/) +void Driver::Rpi_device::_report_platform_specifics(Genode::Xml_generator &, + Driver::Session_component &) { - //_clock_list.for_each([&] (Clock & c) { - // Avl_string_base * asb = - // sc.env().ccm.tree.first()->find_by_name(c.name.string()); - // if (!asb || !c.driver_name.valid()) { return; } - // Driver::Clock & clock = - // static_cast(asb)->object(); - // xml.node("clock", [&] () { - // xml.attribute("rate", clock.get_rate()); - // xml.attribute("name", c.driver_name); - // }); - //}); + /* + * Normally, the platform driver should report about clock settings of the + * device etc. here. But we do not implement clocking for RPI yet. + */ }