Mongoose Embedded Web Server Library example for TI CC3220/CC3235

Hello,

  1. My goal is: Implementing a HTTPS server with websocket interface on a TICC3235MODSF. I want to use the Embedded webserver library and not Mongoose OS.
  2. My actions are: I have downloaded the source code and tried to build the MG_hello example for CC3200.
  3. The result I see is: Unresolved resources like:

    The source code files gpio_if.c, network_common.c and startup_ccs.c are not available in current SDK for the CC32xx (simplelink_cc32xx_sdk_3_40_00_05).
  4. My expectation & question is: Is an example available for the TI CC3220 or CC3225?
    Thanks in advance for any kind of assistance.