The CC3200 SDK provides a peripheral driver library and hardware
register access header files for the Texas Instruments SimpleLink
CC3200 SoC.

The current version supported in Zephyr is CC3200 SDK V1.2.0, downloaded
from:

	http://www.ti.com/tool/cc3200sdk

Files in driverlib/ and inc/ are copied from an SDK installation
(without modification).

Setting CONFIG_CC3200SDK_BUILTIN allows building those files within
the Zephyr ext/hal/ subdirectory.

Setting CONFIG_CC3200SDK_INSTALL_PATH and CONFIG_CC3200SDK_LIBRARY enables
linking with the library provided by the CC3200 SDK, installed separately.