sergiotarxz/nuttx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

Browse Source
This commit is contained in:
Gregory Nutt 2014-04-30 15:32:06 -06:00
parent f804bf80e5
commit e317cef653
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
arch/Kconfig
View File

@ -145,6 +145,10 @@ config ARCH_NAND_HWECC
bool bool
default n default n
config ARCH_HAVE_EXTCLK
bool
default n
menuconfig PAGING menuconfig PAGING
bool "On-demand paging" bool "On-demand paging"
default n default n

1
arch/arm/src/sam34/Kconfig
View File

@ -1199,6 +1199,7 @@ endmenu # USB Full Speed Device Controller driver (DCD) options
config SAM34_TC config SAM34_TC
bool bool
default n default n
select ARCH_HAVE_EXTCLK
menu "AT91SAM3/4 Timer/Counter options" menu "AT91SAM3/4 Timer/Counter options"
depends on SAM34_TC depends on SAM34_TC