ARM-software/arm-trusted-firmware — pull request #38 by sandrine-bailleux (2014-04-08 14:43:54+00:00)
Title: Fix system counter initialisation

These two commits fix the system counter initialisation. CNTFRQ_EL0 register is now correctly programmed by all CPUs and a platform hook has been introduced for the architecture code to get the frequency of the system counter.