altos: Use mini logging for detherm, just without ADC
[fw/altos] / src / kernel / ao_fast_timer.h
2016-03-18 Keith Packardaltos: Expose fast timer API from kernel/