diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-07 13:42:47 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-07 13:42:47 -0600 |
| commit | c1603e96719150625a8f53748703dd83e9681ede (patch) | |
| tree | da40cc56c6fb975108cf3c607f183aaa129cb6f9 /nuttx/configs/pirelli_dpl10 | |
| parent | 391b1d290aaedcb048c1c97d905f9ae9e9af0795 (diff) | |
| download | nuttx-c1603e96719150625a8f53748703dd83e9681ede.tar.gz nuttx-c1603e96719150625a8f53748703dd83e9681ede.tar.bz2 nuttx-c1603e96719150625a8f53748703dd83e9681ede.zip | |
Change CONFIG_MSEC_PER_TICK to CONFIG_USEC_PER_TICK. This gives more options for system timers in general, but more importantly, let's us realize higher resolution for the case of CONFIG_SCHED_TICKLESS=y -- of course, at the risk of some new interger overvflow problems
Diffstat (limited to 'nuttx/configs/pirelli_dpl10')
| -rw-r--r-- | nuttx/configs/pirelli_dpl10/nsh_highram/defconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/configs/pirelli_dpl10/nsh_highram/defconfig b/nuttx/configs/pirelli_dpl10/nsh_highram/defconfig index bc4d31edf..acdadc2da 100644 --- a/nuttx/configs/pirelli_dpl10/nsh_highram/defconfig +++ b/nuttx/configs/pirelli_dpl10/nsh_highram/defconfig @@ -180,7 +180,7 @@ CONFIG_NSH_MMCSDMINOR=0 # RTOS Features # # CONFIG_BOARD_INITIALIZE is not set -CONFIG_MSEC_PER_TICK=10 +CONFIG_USEC_PER_TICK=10000 CONFIG_RR_INTERVAL=200 # CONFIG_SCHED_INSTRUMENTATION is not set CONFIG_TASK_NAME_SIZE=0 |