1. 2013-09-18 [1] CAI_L3CACHE netbsd-port- SAITOH Masanobu 2. 2013-09-10 [6] use of MI "pcu" code for x86 FPU, allocate FPU context dynamically netbsd-port- Matthias Drochner 3. 2013-09-03 [1] reading MSRs from userland? netbsd-port- Aaron J. Grier