Ok, I've now checked in a fully(?) working version of the new atmega128 timer subsystem, along with some small changes to the HPL layer. For the curious: the code is in tos/chips/atm128/timer/Atm128AlarmAsync[CP].nc. David Moss, can you test to see if this version works for you? Thanks! David