1. 2016-09-13 [2] userspace tagged pointers on 48-VA kernel configurati linaro-cr Dann Frazier 2. 2016-09-13 [2] Heads-up: big.LITTLE and cache flushing linaro-cr Mark Rutland