diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-04-30 15:32:06 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-04-30 15:32:06 -0600 |
| commit | 369dd7d095d1ad14ef0c6bf2e23dbef1d63913c2 (patch) | |
| tree | f0c8b292af49094b0389151300345dbc51859fec | |
| parent | 89f6b27d07d66f96c9aa2cce0314098c8338e2b7 (diff) | |
| download | nuttx-369dd7d095d1ad14ef0c6bf2e23dbef1d63913c2.tar.gz nuttx-369dd7d095d1ad14ef0c6bf2e23dbef1d63913c2.tar.bz2 nuttx-369dd7d095d1ad14ef0c6bf2e23dbef1d63913c2.zip | |
The CONFIG_SYSTEMTICK_EXTCLK selection should only be available on systems that support it
| -rw-r--r-- | nuttx/arch/Kconfig | 4 | ||||
| -rw-r--r-- | nuttx/arch/arm/src/sam34/Kconfig | 1 | ||||
| -rw-r--r-- | nuttx/configs/sam4s-xplained-pro/nsh/defconfig | 1 | ||||
| -rw-r--r-- | nuttx/sched/Kconfig | 1 |
4 files changed, 7 insertions, 0 deletions
diff --git a/nuttx/arch/Kconfig b/nuttx/arch/Kconfig index 863f7b666..66ce1279d 100644 --- a/nuttx/arch/Kconfig +++ b/nuttx/arch/Kconfig @@ -145,6 +145,10 @@ config ARCH_NAND_HWECC bool default n +config ARCH_HAVE_EXTCLK + bool + default n + menuconfig PAGING bool "On-demand paging" default n diff --git a/nuttx/arch/arm/src/sam34/Kconfig b/nuttx/arch/arm/src/sam34/Kconfig index 62ddf0743..8e5465cb5 100644 --- a/nuttx/arch/arm/src/sam34/Kconfig +++ b/nuttx/arch/arm/src/sam34/Kconfig @@ -1199,6 +1199,7 @@ endmenu # USB Full Speed Device Controller driver (DCD) options config SAM34_TC bool default n + select ARCH_HAVE_EXTCLK menu "AT91SAM3/4 Timer/Counter options" depends on SAM34_TC diff --git a/nuttx/configs/sam4s-xplained-pro/nsh/defconfig b/nuttx/configs/sam4s-xplained-pro/nsh/defconfig index bcafa6b27..7bfa9bc10 100644 --- a/nuttx/configs/sam4s-xplained-pro/nsh/defconfig +++ b/nuttx/configs/sam4s-xplained-pro/nsh/defconfig @@ -297,6 +297,7 @@ CONFIG_ARCH_HAVE_IRQPRIO=y CONFIG_ARCH_HAVE_VFORK=y # CONFIG_ARCH_HAVE_MMU is not set # CONFIG_ARCH_NAND_HWECC is not set +CONFIG_ARCH_HAVE_EXTCLK=y # CONFIG_ARCH_IRQPRIO is not set CONFIG_ARCH_STACKDUMP=y # CONFIG_ENDIAN_BIG is not set diff --git a/nuttx/sched/Kconfig b/nuttx/sched/Kconfig index fdef8ac19..35d027db2 100644 --- a/nuttx/sched/Kconfig +++ b/nuttx/sched/Kconfig @@ -64,6 +64,7 @@ config MSEC_PER_TICK config SYSTEMTICK_EXTCLK bool "Use external clock" default n + depends on ARCH_HAVE_EXTCLK ---help--- Use external clock for system tick. When enabled, the platform-specific logic must start it's own timer interrupt to make periodic calls to the |