Skip to content

Conversation

@josecm
Copy link
Member

@josecm josecm commented Nov 5, 2025

On armv8r there is no firmware and the system timer must be initialized by the hypevisor. There are multiple cases from where to get the frequecy: (i) it might be fixed already in the hardware, or (ii) it can be retrieved from the plaform level timer if such timer is defined, or (iii) the hypervisor must know by default which is it (which must be defined by platform descrption from the PLAT_GENERIC_TIMER_FREQ_HZ macro). This PR handles all this cases.

@miguelafsilva5
Copy link
Member

The code seems to be reliant on platform defines. Shouldn't we try to use the infrastructure from #243 ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants