Updating platform.txt for static library linking

[pablogs9]

Hello, we have ported micro-ROS (ROS2 for microcontrollers) to some of your development boards.

In order to do so, we use precompiled static libraries that are integrated into the Arduino IDE, you can check it here.

I have found, that in the support packages we need to add compiler.libraries.ldflags flag, because if not found we get:

The platform does not support 'compiler.libraries.ldflags' for pre-compiled libraries.

For example, here you have a PR with the changes for OpenCR hardware board: ROBOTIS-GIT/OpenCR#253. As you can see it is a couple of small changes that allow Arduino IDE to link against a precompiled library.

We have seen that the support for Teensy boards is not provided as the usual JSON file added to the Arduino Board Manager, and instead, you have a custom installer that copies the required files in the Arduino installation folder.

So our questions are:

• How we can contribute these small changes in order to provide an out-of-the-box support for micro-ROS to Teensy boards?
• Is there a release policy?
• Where we can found the repo containing platform.txt file?

Thank you in advance.

PD: If you have questions about ROS 2 or micro-ROS, or you want to collaborate in some way with us let us know. We are super excited about having support for your awesome boards!

[marcel-licence]

I am still looking for the addition of

## Add linker flags
compiler.libraries.ldflags=

to platform.txt.

Is there any update on this?