Arduino esp8266 board manager url. 8, get it fromArduino website.