Explain why we set HCR.TGE bit
Change-Id: Id55a62e8610f0b162a26a0eeb8f69e4a87910ed7
Signed-off-by:
Sandrine Bailleux <sandrine.bailleux@arm.com>
Loading
Please register or sign in to comment
Change-Id: Id55a62e8610f0b162a26a0eeb8f69e4a87910ed7
Signed-off-by:
Sandrine Bailleux <sandrine.bailleux@arm.com>