tree b2cf966f62c8097e4498046c32ad55b3f209cbc8
parent 5d292ab6fde45c5d7077c8a61cb339a0a9f69281
parent b1e71b20d8061abff4496a8ce81d121bac1c3b10
author danh-arm <dan.handley@arm.com> 1403112871 +0100
committer danh-arm <dan.handley@arm.com> 1403112871 +0100

Merge pull request #135 from soby-mathew/sm/remove-reinit-of-timers

Remove re-initialisation of system timers after warm boot for FVP