On 07/04/2015 03:48 AM, Alexander Stein wrote: > The code is copied 1:1 from arm1136 which uses the same cp15 registers. Same comment here. Perhaps create a cache-armv6.c (or whatever name is appropriate; I'm not sure if ARMv6 mandates caches work this way, or if ARM11 is a better name, or ...?