I have msp432p4111 launchpad  but cannot find it in the boards manager in energia.  I found out from here:  that plugging the following url into the preferences tab, I can get the beta version of the board msp432p4111. http://s3.amazonaws.com/energiaUS/packages/package_msp432p_index.json.  I want to connect cc3100 wifi shield to make repeated https requests.  The problem I am facing is that I cannot find any wifi library for msp432p4111 in the beta version of the board.