Updated README.md

Author: pablogs9

README.md

@@ -8,9 +8,9 @@ Supported boards are:
 | Board                                                                    | Min version | State      | Details                                                                                             | Prebuild meta        |
 | ------------------------------------------------------------------------ | ----------- | ---------- | --------------------------------------------------------------------------------------------------- | -------------------- |
 | [OpenCR](https://emanual.robotis.com/docs/en/parts/controller/opencr10/) | v1.4.16     | Supported  | [Based on custom board](https://emanual.robotis.com/docs/en/parts/controller/opencr10/#arduino-ide) | `colcon.meta`        |
-| [Teensy 4.0](https://www.pjrc.com/store/teensy40.html)                   |             | Not tested | [Based on Teensyduino](https://www.pjrc.com/teensy/td_download.html)                                | `colcon.meta`        |
-| [Teensy 4.1](https://www.pjrc.com/store/teensy41.html)                   |             | Not tested | [Based on Teensyduino](https://www.pjrc.com/teensy/td_download.html)                                | `colcon.meta`        |
-| [Teensy 3.2](https://www.pjrc.com/store/teensy32.html)                   |             | Not tested | [Based on Teensyduino](https://www.pjrc.com/teensy/td_download.html)                                | `colcon_lowmem.meta` |
+| [Teensy 4.0](https://www.pjrc.com/store/teensy40.html)                   | v1.8.5      | Not tested | [Based on Teensyduino](https://www.pjrc.com/teensy/td_download.html)                                | `colcon.meta`        |
+| [Teensy 4.1](https://www.pjrc.com/store/teensy41.html)                   | v1.8.5      | Supported  | [Based on Teensyduino](https://www.pjrc.com/teensy/td_download.html)                                | `colcon.meta`        |
+| [Teensy 3.2/3.1](https://www.pjrc.com/store/teensy32.html)               | v1.8.5      | Supported  | [Based on Teensyduino](https://www.pjrc.com/teensy/td_download.html)                                | `colcon_lowmem.meta` |
 
 You can find the available precompiled ROS 2 types for messages and services in [available_ros2_types](available_ros2_types).
 
@@ -63,4 +63,10 @@ see the file [3rd-party-licenses.txt](3rd-party-licenses.txt).
 
 ### Patch Teensyduino
 
-TODO
+Go inside your Arduino + Teensyduino installation and replace `platform.txt`:
+
+```bash
+export ARDUINO_PATH=[Your Arduino + Teensiduino path]
+cd $ARDUINO_PATH/hardware/teensy/avr/
+curl https://raw.githubusercontent.com/micro-ROS/micro_ros_arduino/foxy/extras/library_generation/platform_teensy.txt > platform.txt
+```