Two comments regarding the howto: https://software.intel.com/en-us/get-started-arduino-install# Linux IoT - Installing the Arduino* IDE | Intel® Developer Zone
10. In a serial communication window,
better "in a terminal window,"
f you still are not able to see the port in the IDE, it may be because your user hasn't been added to the dialout group. Add yourself to the dialout group by entering the following command:
sudo usermod -a -G dialout your_user_name
For more complete information about compiler optimizations, see our Optimization Notice.