commit | 92b954953779f2e1cd2ba7fdf219620359098909 | [log] [tgz] |
---|---|---|
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Tue Dec 04 14:04:52 2018 +0000 |
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | Tue Dec 04 14:07:36 2018 +0000 |
tree | 4b63fdaaf57b181de111b252a234bd5ddade021a | |
parent | 34d31745d2e5f632ffafb9fae8189d0dd65db3e0 [diff] | |
parent | 3aa09f7576cddb5544140a7c8bcfed7a8f8b16ec [diff] |
Merge pull request #1705 from chandnich/platform-id plat/arm/sgi: Use platform specific functions to get platform ids