I think I have a similar issue to #50 I'm a bit new to the arduino ecosystem so not sure exactly how this is supposed to work. That said I have a link https://dl.espressif.com/dl/package_esp32_index.json that I add to the Additional Boards Manager URLs field in Arduino IDE. This (based on a little bit of poking around) links eventually to https://github.com/espressif/arduino-esp32/blob/master/boards.txt which of course has the board that I need to find with get_board_id.

So the question is how am I supposed to access this?

• Should I copy this into my boards.txt?
• Install via IDE (doesn't seem to get found by cmake)
• Other?

And follow up question, should we consider adding another function like add_additional_board_manager that downloads this file (and w/e else is needed to support) such that get_board_id would then just work?