a6e36fac9d/hardware/arduino/sam/platform.txt (L102) uses this property because the bossac tool expects a serial port name without the leading "/dev/". Copied from how the Arduino IDE does this in a6e36fac9d/arduino-core/src/cc/arduino/packages/uploaders/SerialUploader.java (L148) . Change-Id: I17b2556cab3ad7fba00e03171881f6459cf97826 Signed-off-by: Christian Walther <walther@indel.ch>
a6e36fac9d/hardware/arduino/sam/platform.txt (L102)
a6e36fac9d/arduino-core/src/cc/arduino/packages/uploaders/SerialUploader.java (L148)