board_manager:
  additional_urls:
    - https://arduino.esp8266.com/stable/package_esp8266com_index.json
    - https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json