Micro ros and teensyduino

[echogun]

Hello, I am a beginner with ROS 2 and micro-ROS. Currently, I have a Raspberry Pi 4 with Ubuntu Mate installed. I needed to install Arduino 1.8.19, which required me to install Teensyduino separately. After setting everything up, I was able to upload code to the Teensy 4.1 without any issues. However, after I started installing micro-ROS Humble

• Hardware description:
• RTOS :
• Installation type:
• Version or commit hash:

Steps to reproduce the issue

1.Install Arduino 1.8.19 on Raspberry Pi 4.
2.Install Teensyduino 1.59.0
3.Upload code to Teensy 4.1 to confirm proper setup.
3.Follow steps to patch Teensy platform for micro-ROS:

```

cd ~/arduino-1.8.13/hardware/teensy/avr/
curl https://raw.githubusercontent.com/micro-ROS/micro_ros_arduino/main/extras/patching_boards/platform_teensy.txt > platform.txt

5.Add the micro-ROS library as a zip file.
6.Attempt to upload example code to Teensy 4.1, resulting in an error:

	**fork/exec /arm/bin/arm-none-eabi-g++: no such file or directory**

#### Expected behavior
Code should upload to Teensy 4.1 without issues.

#### Actual behavior
The code fails to upload to Teensy 4.1, showing the error message fork/exec /arm/bin/arm-none-eabi-g++: no such file or directory.

#### Additional information

I have followed the steps to install and patch the Teensy platform for micro-ROS, but after doing so, I cannot upload any code to Teensy 4.1, even simple example sketches.

[hippo5329]

You may switch to platformio/vscode, and follow the wiki,
https://github.com/hippo5329/micro_ros_arduino_examples_platformio/wiki#use-teensy41