tree 2974a1eebc313caa4d3378500b6f17e381f2e3a7
parent b76da307426714ca3242f47025a23da3ace24aa6
parent 98f80909fa21a27eeed58b4757cce3693d5c9ec4
author davidcunado-arm <david.cunado@arm.com> 1507726598 +0100
committer GitHub <noreply@github.com> 1507726598 +0100

Merge pull request #1100 from ajs-sun/master

trusty: save/restore FPU registers in world switch