Is there a mistake in the following comment in include/nuttx/clock.h? [[[ /* If CONFIG_SCHED_TICKLESS is not defined, then the interrupt interval of * the system timer is given by USEC_PER_TICK. This is the expected number * of microseconds between calls from the processor-specific logic to * nxsched_process_timer(). The default value of USEC_PER_TICK is 10000 * microseconds (100KHz). However, this default setting can be overridden * by defining the interval in microseconds as CONFIG_USEC_PER_TICK in the ]]]
The mistake: if USEC_PER_TICK is 10000 by default, that should be 100 Hz, not 100 KHz. Did I find an error or did I miss something? Nathan
