It looks like the property 'timebase-frequency' in FDT provided by the BOOTROM holds the frequency we are looking for. Reading it would require to write a devicetree parser that works in _PRE_RAM_ environments (which might also be useful on other platforms to read the amount of DRAM installed).

View Change

To view, visit change 33797. To unsubscribe, or for help writing mail filters, visit settings.