Hi, Having been looking over some of the code in the arm32 dir I've noticed a few places (eg pmap_enter_pv has a loop that walks all the mappings) The main reason for asking is that if it is safe without wouldn't the default kernels be best done without DIAGNOSTIC? Cheers, Chris