If TB3 is defined, TimerB is used instead of TimerA. (With ez430RF2500, this prevents using DCO for SMCLOCK)

Thank you for reporting the issue.

The timer code of tinyos-msp430 is now heavily under reconstruction. Once the construction has done: * The chip code provides all timers and oscillators that the chip has. * The platforms code can combine any oscillator and any timer to provide tinyos standard timer source. That means you can choose any configuration you want, ideally. ETA is not yet unknown but please stay tune.

So I would like to close this issue as "WontFix".

Thanks, Tadashi.

For the record, I filed [https://code.google.com/p/tinyos-msp430/issues/detail?id=9 Issue 9].