| commit | c2280b37ea387dda5ebeb9e86f3dfbe39b5b0abc | [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 | 36f52843e17576d476b9005bb55aa49c5a52088d [diff] | |
| parent | 3388b38dc3426d28aeeb2462ee5125ec983e9f3a [diff] |
Merge pull request #1105 from antonio-nino-diaz-arm/an/epd1-bit Set TCR_EL1.EPD1 bit to 1