tree b2cf966f62c8097e4498046c32ad55b3f209cbc8
parent 057227332ef8cbc968553f9c8d68547f1743df55
parent bb128912f7ff7d0a48671c65084a9f3f1cbd5204
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