Hi all, This small patch series allow Xen to boot on platform where the firmware is only supporting PSCI v1.0.
Sincerely yours, 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 | 23 ++++++++++++++++------- xen/arch/arm/vpsci.c | 15 ++++++++------- xen/include/asm-arm/psci.h | 17 +++++++++++++---- 3 files changed, 37 insertions(+), 18 deletions(-) -- 2.1.4 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
