The CONFIG_SYSTEMTICK_EXTCLK selection should only be available on systems that support it

This commit is contained in:
Gregory Nutt 2014-04-30 15:32:06 -06:00
parent 3889b3b65c
commit 7614f7762e

View File

@ -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