On 23 November 2016 at 11:45, Grazvydas Ignotas <notasas@gmail.com> wrote:

OTOH now that I think about it, it might actually start doing writes
after a task switch because ARM doesn't write-allocate cache.

Eh what? Yes it does. In fact the cortex-A15 does not support a no-write-allocate policy at all.