# Kconfig - CC3220 SDK HAL configuration

config HAS_CC3220SDK
	bool

# Note: Host driver requires types (time.h, stdint.h) from NEWLIB_LIBC
config SIMPLELINK_HOST_DRIVER
	bool "Build the SimpleLink WiFi Host Driver"
	default n
	depends on HAS_CC3220SDK
	select NEWLIB_LIBC
	help
	Build the SimpleLink host driver