| commit | 502ca9735fe4c5a9ce200fb2f911a785ae50e76e | [log] [tgz] |
|---|---|---|
| author | davidcunado-arm <david.cunado@arm.com> | Mon Sep 25 23:34:28 2017 +0100 |
| committer | GitHub <noreply@github.com> | Mon Sep 25 23:34:28 2017 +0100 |
| tree | 2215475640a2d4519d5a0cd2e11ef34a0f6bd891 | |
| parent | 89d68f2bfe1f37fc7defa697cc499387b19df11b [diff] | |
| parent | c8274a8249a20645be61455a36f11736c66803b2 [diff] |
Merge pull request #1105 from antonio-nino-diaz-arm/an/epd1-bit Set TCR_EL1.EPD1 bit to 1