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/mirtoo | |
parent | 391b1d290aaedcb048c1c97d905f9ae9e9af0795 (diff) | |
download | px4-nuttx-c1603e96719150625a8f53748703dd83e9681ede.tar.gz px4-nuttx-c1603e96719150625a8f53748703dd83e9681ede.tar.bz2 px4-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/mirtoo')
-rw-r--r-- | nuttx/configs/mirtoo/nsh/defconfig | 2 | ||||
-rw-r--r-- | nuttx/configs/mirtoo/nxffs/defconfig | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/nuttx/configs/mirtoo/nsh/defconfig b/nuttx/configs/mirtoo/nsh/defconfig index 8800630e7..6da9411c8 100644 --- a/nuttx/configs/mirtoo/nsh/defconfig +++ b/nuttx/configs/mirtoo/nsh/defconfig @@ -319,7 +319,7 @@ CONFIG_MIRTOO_RELEASE=2 # RTOS Features # # CONFIG_BOARD_INITIALIZE is not set -CONFIG_MSEC_PER_TICK=10 +CONFIG_USEC_PER_TICK=10000 # CONFIG_SYSTEM_TIME64 is not set CONFIG_RR_INTERVAL=0 # CONFIG_SCHED_CPULOAD is not set diff --git a/nuttx/configs/mirtoo/nxffs/defconfig b/nuttx/configs/mirtoo/nxffs/defconfig index 43c8c03b8..d52a089e3 100644 --- a/nuttx/configs/mirtoo/nxffs/defconfig +++ b/nuttx/configs/mirtoo/nxffs/defconfig @@ -320,7 +320,7 @@ CONFIG_MIRTOO_RELEASE=2 # RTOS Features # # CONFIG_BOARD_INITIALIZE is not set -CONFIG_MSEC_PER_TICK=10 +CONFIG_USEC_PER_TICK=10000 # CONFIG_SYSTEM_TIME64 is not set CONFIG_RR_INTERVAL=0 # CONFIG_SCHED_CPULOAD is not set |