On Mon, Sep 07, 2015 at 03:13:50PM +0100, Stefano Stabellini wrote: > Objects loaded by FileHandle->Read need to be flushed to dcache, > otherwise copy_from_paddr will read stale data when copying the kernel, > causing a failure to boot. > > Introduce efi_arch_flush_dcache_area and call it from read_file. > > This commit introduces no functional changes on x86. > > Reported-by: Mark Rutland <mark.rutl...@arm.com> > Signed-off-by: Stefano Stabellini <stefano.stabell...@eu.citrix.com> > CC: ian.campb...@citrix.com > CC: jbeul...@suse.com > CC: wei.l...@citrix.com
I'm expecting a v2 with minor adjustments. In any case this is a valid and straightforward bug fix: Release-acked-by: Wei Liu <wei.l...@citrix.com> I will wait for v2 and keep an eye on our testing progress. This will probably go in after RC3 (i.e. after branching) unless OSSTest is wedged again and we somehow need to retest staging. Wei. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel