Beat Küng d74d094940 nuttx configs: disable nuttx timers which are used for PWM output ... These are not required, and to be consistent we enforce disabling them now.		2020-02-13 03:49:16 -08:00
..
mindpx-v2	nuttx configs: disable nuttx timers which are used for PWM output	2020-02-13 03:49:16 -08:00