1. 2013-09-18 [1] CAI_L3CACHE netbsd-po SAITOH Masano 2. 2013-09-10 [6] use of MI "pcu" code for x86 FPU, allocate FPU contex netbsd-po Matthias Droc 3. 2013-09-03 [1] reading MSRs from userland? netbsd-po Aaron J. Grie