Merge pull request #1485 from jeenu-arm/ras
authordanh-arm <dan.handley@arm.com>
Tue, 24 Jul 2018 13:36:43 +0000 (14:36 +0100)
committerGitHub <noreply@github.com>
Tue, 24 Jul 2018 13:36:43 +0000 (14:36 +0100)
commit790e6c5b96c4c71958071702f5227bc4f47b3b2a
tree31a566d655ea482c66448b789b3e9d31bcd2bd82
parentdf0b5a4b71a2259ae90b212fa7527203f81d294d
parent4431aae9734f2e69a5252e8550da1860ecf8cd92
Merge pull request #1485 from jeenu-arm/ras

Double-fault and fatal error handling support