@mcnobby
Use this
https://github.com/sandeepmistry/esp8266-Arduino/
it works the same as Arduino_STM32 ie its just hardware files