I'm currently working on an hardware project that include a ESP8266 design of my own. And I would like to know where to start to add this new device in the board list of the Arduino IDE.
As far as I get there is a boards.txt file generated by a boards.txt.py python script but I can't even find those files in my systems, neither on MacOS nor Win10.
Any clues would be welcome
Sylvain