Merge pull request #135 from soby-mathew/sm/remove-reinit-of-timers
danh-arm authored
Remove re-initialisation of system timers after warm boot for FVP
e869310f