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>
Loading
Please sign in to comment