/lib/freertos-posix/FreeRTOS-Plus-POSIX/include/portable/ti/
../
cc3220_launchpad