diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-04-22 09:01:20 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-04-22 09:01:20 -0600 |
| commit | 919fd1d3f93e7292da2b2a29a200f05b46886f06 (patch) | |
| tree | 9556e73396200d8503560e5024b117b91e9ecc39 /nuttx/Kconfig | |
| parent | 4c0502234f156d9d21bd7c6d20d1002908ef65ed (diff) | |
| download | px4-nuttx-919fd1d3f93e7292da2b2a29a200f05b46886f06.tar.gz px4-nuttx-919fd1d3f93e7292da2b2a29a200f05b46886f06.tar.bz2 px4-nuttx-919fd1d3f93e7292da2b2a29a200f05b46886f06.zip | |
Various SAM4S related fixes, mostely related to the timer driver driver and the SAM4S timer/counter. All from Bob Doisin
Diffstat (limited to 'nuttx/Kconfig')
| -rw-r--r-- | nuttx/Kconfig | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/nuttx/Kconfig b/nuttx/Kconfig index b210b80e9..21fcd9c13 100644 --- a/nuttx/Kconfig +++ b/nuttx/Kconfig @@ -597,6 +597,15 @@ config DEBUG_WATCHDOG Support for this debug option is architecture-specific and may not be available for some MCUs. +config DEBUG_TIMER + bool "Timer Debug Output" + default n + depends on TIMER + ---help--- + Enable timer debug SYSLOG output (disabled by default). + Support for this debug option is architecture-specific and may not + be available for some MCUs. + config DEBUG_AUDIO bool "Audio Device Debug Output" default n |