AM69: MCU_CLKOUT0 running at 12.5 MHz

Part Number: AM69

Tool/software:

Hello,

on our AM69 board we use the MCU_CLKOUT0 clock to feed the ethernet phy.

I am able, after fixing a small typo in u-boot (https://lore.kernel.org/all/20240617151756.nonsn4ns6ehs4stf@bryanbrattlof.com/) to have it working.

I'm able to configure at 25 MHz in U-Boot if I set this configuration in R5 SPL:

       a72_0: a72@0 {
                compatible = "ti,am654-rproc";
                ...
                assigned-clocks = <&k3_clks 61 0>, <&k3_clks 202 0>, <&k3_clks 157 174>;
                assigned-clock-parents = <&k3_clks 61 2>, <0>, <&k3_clks 157 176>;
                assigned-clock-rates = <200000000>, <2000000000>, <25000000>;
                ...

If I do the correct thing in the U-Boot device tree (by copying Linux device tree):

&davinci_mdio {
	assigned-clocks = <&k3_clks 157 174>;
	assigned-clock-parents = <&k3_clks 157 176>;
	assigned-clock-rates = <25000000>;

The output frequency is 12.5 MHz.

Interestingly, linux, with the same device tree is configuring the clock correctly.

I do not expect such behavior.

Can you help us figure out why it is not working as expected?