tree 2215475640a2d4519d5a0cd2e11ef34a0f6bd891
parent 89d68f2bfe1f37fc7defa697cc499387b19df11b
parent c8274a8249a20645be61455a36f11736c66803b2
author davidcunado-arm <david.cunado@arm.com> 1506378868 +0100
committer GitHub <noreply@github.com> 1506378868 +0100

Merge pull request #1105 from antonio-nino-diaz-arm/an/epd1-bit

Set TCR_EL1.EPD1 bit to 1