tree 4c9488add4622ce77fc328e34efe6f4bb7289873
parent 78b7134927422425bcad3413cf78783e3eaf633c
parent b10d44995eb652675863c2cc6a7726683613da0d
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