Hi; somebody pointed out to me that hw/arm/xlnx-zynqmp.c only sets the psci-conduit on the A-profile cores, not the R. This means you can't set the boot-cpu to an R-profile core and use PSCI to wake up the other one. Is the omission deliberate?
thanks -- PMM
