On Wed, 9 Jun 2021, Julien Grall wrote: > Hi Stefano, > > On 09/06/2021 18:43, Stefano Stabellini wrote: > > SPSR_hyp is not meant to be accessed from Hyp mode (EL2); accesses > > trigger UNPREDICTABLE behaviour. Xen should read/write SPSR instead. > > Please provide a reference to the spec. This helps reviewer and/or future > developper to figure out quickly where this comes from. > > > > > This fixes booting Xen/arm32 on QEMU. > > > > Signed-off-by: Stefano Stabellini <stefano.stabell...@xilinx.com> > > With the reference added: > > Reviewed-by: Julien Grall <jgr...@amazon.com>
Thanks! I added: ARM DDI 0487D.b page G8-5993 and committed it
