tree 88e9ccafbd21cf11b2b714a85433b9122716268c
parent 036f6d28f8a67324ff6e9f954ea82ff3bfcd06b3
parent 5fe57c1f48c84ce04303cce0f925c7aa753af362
author Dan Handley <dan.handley@arm.com> 1406296606 +0100
committer Dan Handley <dan.handley@arm.com> 1406296606 +0100

Merge pull request #168 from sandrine-bailleux/sb/set-default-gic-arch

Define ARM_GIC_ARCH default value for all platforms