| commit | 7613f81fc03cd91fe90977165e48875ab98c2e68 | [log] [tgz] |
|---|---|---|
| author | Matthew Leach <Matthew.Leach@arm.com> | Thu Jan 23 17:29:27 2014 +0000 |
| committer | Mark Rutland <mark.rutland@arm.com> | Wed Mar 12 11:15:58 2014 +0000 |
| tree | dcab936efc03cb07e6156870838bfe3cb11fa51c | |
| parent | bae4ae6a834cd15bf50f0ddc9a7331d8b0ac7168 [diff] |
Add a PSCI configure option The boot-wrapper can be build with or without support for PSCI. Therefore add that as a configure option (which defaults to not using PSCI) and set the appropriate options in the makefile. Signed-off-by: Matthew Leach <matthew.leach@arm.com> [Mark: fix indentation] Signed-off-by: Mark Rutland <mark.rutland@arm.com>