On Sun, Jan 23, 2011 at 05:34:39AM +0100, Edgar E. Iglesias wrote: > This line is confusing: > "This bit is only set if the data cache config and MMU type would normally cause aliasing" > > because I don't know what they mean by "normally". Normally means the behaviour expected from a text book implementation of a VIPT cache. Ralf