chiark / gitweb /
timer: make timer accuracy configurable