Hi Julien, >When the property "clock-frequency" is present in the DT timer node, it means >that the bootloader/firmware didn't correctly configured the >CNTFRQ/CNTFRQ_EL0 on each processor.
I will test this patch, but it doesn't apply cleanly to the version of Xen I'm currently using, so I need to update that first. I also looked at whether it would be possible to set the CNTFRQ register in the other cores when they come up. Eventually, I think we should do this in the (platform-specific) PSCI code. There doesn't seem to be a suitable hook in the platform-specific Xen code - it looks like all the code there related to bringing up secondary cores runs on the primary. Chris _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
