board_manager:
    additional_urls:
        - https://www.pjrc.com/teensy/package_teensy_index.json
