nuttx/configs/cc3200-launchpad/include
..
board.h
cc3200_utils.h