nuttx/boards/arm/stm32/stm32f4discovery/configs/sporadic
Gregory Nutt 2775cadcd2 Increase the system timer rate:
-CONFIG_USEC_PER_TICK=10000
+CONFIG_USEC_PER_TICK=1000

A system timer with a 10 MS period is not sufficient to run the dual thread sporadic scheduler test since the timings in that test are also around 10 MS.  Apparently there is a race condition when both sporadic thread's budgets complete on the same clock time.  This change does not eliminate the race, but reduces its effect greatly.
2021-03-19 23:18:28 -07:00
..
defconfig Increase the system timer rate: 2021-03-19 23:18:28 -07:00