On 14 May 2015 at 11:31, Andrew Jones <drjones@xxxxxxxxxx> wrote: > Forgot to (4): switch from setting userspace's mapping to > device memory to normal, non-cacheable. Using device memory > caused a problem that Alex Graf found, and Peter Maydell suggested > using normal, non-cacheable instead. Did you check that non-cacheable is definitely the correct kind of Normal memory attribute we want? (ie not write-through). -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm