tree 1c4232293e815557d175eb414e3ba3ec7d979827
parent ece32c4f1b192e9fa25f1563844a76e37961aacd
parent 40fc6cd1416b94eacb96d56015a8989fc053d9fe
author danh-arm <dan.handley@arm.com> 1446026084 +0000
committer danh-arm <dan.handley@arm.com> 1446026084 +0000

Merge pull request #415 from jcastillo-arm/jc/plat_err_handler

Add optional platform error handler API