|  | # CC3220/CC32XX SDK HAL configuration | 
|  |  | 
|  | config HAS_CC3220SDK | 
|  | bool | 
|  |  | 
|  | # Notes: | 
|  | # SimpleLink drivers require types (stdint.h) from c library which is not | 
|  | # provided by minimal lbc | 
|  | # Selecting ERRNO lets host driver use Zephyr's __errno | 
|  | # Selecting PTHREAD_IPC and POSIX_API are needed to build the host driver | 
|  | config SIMPLELINK_HOST_DRIVER | 
|  | bool "Build the SimpleLink WiFi Host Driver" | 
|  | depends on HAS_CC3220SDK | 
|  | depends on MULTITHREADING | 
|  | select REQUIRES_FULL_LIBC | 
|  | select ERRNO | 
|  | select PTHREAD_IPC | 
|  | select POSIX_CLOCK | 
|  | help | 
|  | Build the SimpleLink host driver | 
|  |  | 
|  | # MSP432 SDK HAL configuration | 
|  |  | 
|  | config HAS_MSP432P4XXSDK | 
|  | bool | 
|  | select HAS_CMSIS_CORE | 
|  |  | 
|  | # CC13X2 / CC26X2 SDK HAL configuration | 
|  |  | 
|  | config HAS_CC13X2_CC26X2_SDK | 
|  | bool |