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)
Double-fault and fatal error handling support


Trivial merge