followup
analysis of the l4linux timer