Quoting Théo Lebrun (2023-12-27 08:30:20) > > I went ahead with a V2, feeling it would be more productive to come up > with something and gather comments on concrete stuff. There were many > other things to address anyway. > > I've addressed this point by declaring a dummy fixed-clock in the > devicetree that gets fed to the GIC timer. It is pretty much the same > thing as using `clock-frequency` which this specific clocksource uses > if `of_clk_get(node, 0)` fails. With the sent approach we have the > timer appear in the clock tree as a consumer. If the frequency is fixed then this seems fine to do always.