diff --git a/arch/Kconfig b/arch/Kconfig
index 863f7b6661..66ce1279da 100644
--- a/arch/Kconfig
+++ b/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/arch/arm/src/sam34/Kconfig b/arch/arm/src/sam34/Kconfig
index 62ddf0743d..8e5465cb53 100644
--- a/arch/arm/src/sam34/Kconfig
+++ b/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/configs/sam4s-xplained-pro/nsh/defconfig b/configs/sam4s-xplained-pro/nsh/defconfig
index bcafa6b276..7bfa9bc104 100644
--- a/configs/sam4s-xplained-pro/nsh/defconfig
+++ b/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/sched/Kconfig b/sched/Kconfig
index fdef8ac199..35d027db2a 100644
--- a/sched/Kconfig
+++ b/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