chiark / gitweb /
increase /proc/stat buffer