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/zkit-arm-1769 | |
| 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/zkit-arm-1769')
| -rw-r--r-- | nuttx/configs/zkit-arm-1769/hello/defconfig | 2 | ||||
| -rw-r--r-- | nuttx/configs/zkit-arm-1769/nsh/defconfig | 2 | ||||
| -rw-r--r-- | nuttx/configs/zkit-arm-1769/nxhello/defconfig | 2 | ||||
| -rw-r--r-- | nuttx/configs/zkit-arm-1769/thttpd/defconfig | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/nuttx/configs/zkit-arm-1769/hello/defconfig b/nuttx/configs/zkit-arm-1769/hello/defconfig index 3257f4175..0f6b5b9a3 100644 --- a/nuttx/configs/zkit-arm-1769/hello/defconfig +++ b/nuttx/configs/zkit-arm-1769/hello/defconfig @@ -282,7 +282,7 @@ CONFIG_DISABLE_MQUEUE=y # # Clocks and Timers # -CONFIG_MSEC_PER_TICK=10 +CONFIG_USEC_PER_TICK=10000 # CONFIG_SYSTEM_TIME64 is not set # CONFIG_CLOCK_MONOTONIC is not set # CONFIG_JULIAN_TIME is not set diff --git a/nuttx/configs/zkit-arm-1769/nsh/defconfig b/nuttx/configs/zkit-arm-1769/nsh/defconfig index b1bb94171..f358a10b8 100644 --- a/nuttx/configs/zkit-arm-1769/nsh/defconfig +++ b/nuttx/configs/zkit-arm-1769/nsh/defconfig @@ -285,7 +285,7 @@ CONFIG_DISABLE_OS_API=y # # Clocks and Timers # -CONFIG_MSEC_PER_TICK=10 +CONFIG_USEC_PER_TICK=10000 # CONFIG_SYSTEM_TIME64 is not set # CONFIG_CLOCK_MONOTONIC is not set # CONFIG_JULIAN_TIME is not set diff --git a/nuttx/configs/zkit-arm-1769/nxhello/defconfig b/nuttx/configs/zkit-arm-1769/nxhello/defconfig index 1efc2d799..a7ca866ef 100644 --- a/nuttx/configs/zkit-arm-1769/nxhello/defconfig +++ b/nuttx/configs/zkit-arm-1769/nxhello/defconfig @@ -285,7 +285,7 @@ CONFIG_DISABLE_OS_API=y # # Clocks and Timers # -CONFIG_MSEC_PER_TICK=10 +CONFIG_USEC_PER_TICK=10000 # CONFIG_SYSTEM_TIME64 is not set # CONFIG_CLOCK_MONOTONIC is not set # CONFIG_JULIAN_TIME is not set diff --git a/nuttx/configs/zkit-arm-1769/thttpd/defconfig b/nuttx/configs/zkit-arm-1769/thttpd/defconfig index 40370dba7..b46b1665a 100644 --- a/nuttx/configs/zkit-arm-1769/thttpd/defconfig +++ b/nuttx/configs/zkit-arm-1769/thttpd/defconfig @@ -282,7 +282,7 @@ CONFIG_DISABLE_MQUEUE=y # # Clocks and Timers # -CONFIG_MSEC_PER_TICK=10 +CONFIG_USEC_PER_TICK=10000 # CONFIG_SYSTEM_TIME64 is not set # CONFIG_CLOCK_MONOTONIC is not set # CONFIG_JULIAN_TIME is not set |