Hi all, This small patch series allows Xen boot on platform where the firmware is supporting only PSCI 1.0.
Regards, Julien Grall (2): xen/arm: Add support of PSCI v1.0 for the host xen/arm: Replace XEN_PSCI_* by PSCI_VERSION(major, minor) xen/arch/arm/psci.c | 15 ++++++++------- xen/arch/arm/vpsci.c | 15 ++++++++------- xen/include/asm-arm/psci.h | 17 +++++++++++++---- 3 files changed, 29 insertions(+), 18 deletions(-) -- 2.1.4 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
