add 32KHz timer and Led interface support to mica about tinyos-main HOT 7 CLOSED

This shouldn't belong to me.

Agreed -- I just saw PPP and assigned it to you. I'll take a look.

Patch committed.

Somehow the patch was lost and never committed. I've committed it now and 
tested that it (PPP) works.

Hi Phil,

I am not sure that this really fixes the problem. It creates a new 
CounterMilli32C and AlarmMilli32C components, but those are run from the MCU 
clock and not from the 32khz async clock. The same problem exists with the 
Alarm32khz32C and Counter32khz32C components too. I do not know what the 
solution is, but this just makes things very confusing. Also, the 
AlarmCounterMilliP does provides a 32-bit Milli counter, but that component is 
used by the TimerC components. So both of the new ones and the old does provide 
the same interface but they are not compatible. 

By the way, do you want to commit this change to the head as well?

Miklos