Hi, I want to use wolfCrypt in a project on an ESP8266 module, but I can't get it to work after following these instructions. I have copied the four mentioned c files into the root directory of wolfssl and put the wolfssl directory into the libraries folder. I included <wolfssl.h> into the sketch file, but I get the following compile error:

Arduino: 1.6.8 (Windows 10), Board: "Generic ESP8266 Module, 80 MHz, 40MHz, DIO, 921600, 512K (64K SPIFFS), ck, Disabled, None"

In file included from C:\Program Files (x86)\Arduino\libraries\wolfssl/wolfssl/wolfcrypt/types.h:28:0,

                 from C:\Program Files (x86)\Arduino\libraries\wolfssl/wolfssl/wolfcrypt/aes.h:26,

                 from C:\Program Files (x86)\Arduino\libraries\wolfssl\aes.c:31:

C:\Program Files (x86)\Arduino\libraries\wolfssl/wolfssl/wolfcrypt/wc_port.h:107:9: error: unknown type name 'pthread_mutex_t'

         typedef pthread_mutex_t wolfSSL_Mutex;

         ^

exit status 1
Error compiling for board Generic ESP8266 Module.

This report would have more information with
"Show verbose output during compilation"
option enabled in File -> Preferences.

Do I have to copy other c files as well? Or is it not compatible with the ESP8266 board?