Merge pull request #1638 from chandnich/sgi575-update
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Thu, 25 Oct 2018 13:00:38 +0000 (15:00 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Oct 2018 13:00:38 +0000 (15:00 +0200)
commit31abc7c45428398a330a3a940fe4dd7efa6c96f2
treea2f331f87347189eff75fea67b937e9463167145
parentdeca6584fffc4be70e07fca9e88c6fab5580e4db
parent8c7b55f9322351db6b23b8e928efc9546313dcdf
Merge pull request #1638 from chandnich/sgi575-update

Sgi575 update
plat/arm/css/sgi/sgi_bl31_setup.c