Merge pull request #1485 from jeenu-arm/ras
authordanh-arm <[email protected]>
Tue, 24 Jul 2018 13:36:43 +0000 (14:36 +0100)
committerGitHub <[email protected]>
Tue, 24 Jul 2018 13:36:43 +0000 (14:36 +0100)
Double-fault and fatal error handling support


Trivial merge