#
# For a description of the syntax of this configuration file,
# see the file kconfig-language.txt in the NuttX tools repository.
#

comment "K210 Configuration Options"

menu "K210 Peripheral Support"

# These "hidden" settings determine whether a peripheral option is available
# for the selected MCU

config K210_HAVE_UART0
	bool
	default y
	select UART0_SERIALDRIVER
	select ARCH_HAVE_SERIAL_TERMIOS

# These are the peripheral selections proper

config K210_UART0
	bool "UART0"
	default y
	select ARCH_HAVE_UART0
	select ARCH_HAVE_SERIAL_TERMIOS
	select K210_UART

config K210_WDT
	bool
	select WATCHDOG

config K210_WDT0
	bool "WDT0"
	default n
	select K210_WDT

config K210_WDT1
	bool "WDT1"
	default n
	select K210_WDT

endmenu

config K210_CPU_FREQ
	int "K210 CPU target frequency (Hz)"
	default 400000000
	range 40000000 600000000
	depends on ARCH_CHIP_K210
	---help---
		Set the K210 CPU target frequency in Hz.
		Default is 400000000 (400 MHz).
		Valid range: 40000000-600000000 Hz (40-600 MHz).
