tree 4c9488add4622ce77fc328e34efe6f4bb7289873
parent 16d12c99524264f143b2e35c168b4b8915bd6c31
parent bc1a929edcefecd11cd8f5a1041fc7e12071b09c
author davidcunado-arm <david.cunado@arm.com> 1494515092 +0100
committer GitHub <noreply@github.com> 1494515092 +0100

Merge pull request #927 from jeenu-arm/state-switch

Execution state switch