You can use this intermediate build. WiFi/BLE service classes are still under development but can be programmed in SDK style
Installation instructions here http://ask.winnermicro.com/article/187.html
core_w80x.zip
Attention! I don't see what users write to me here. The last entry is Put build800.zip (unzip!)
If you cannot download the main package through the board manager, Try through the Chinese mirror http://ask.winnermicro.com/article/172.html
For Linux w800build is not needed
问 求一个与w801适配的arduino环境,在这个环境下怎么连接wifi