+# SPDX-License-Identifier: GPL-2.0-or-later
+
#
# TI Stellaris In-Circuit Debug Interface (ICDI) Board
#
# Optionally specify the serial number of TI-ICDI devices, for when using
# multiple devices. Serial numbers can be obtained using lsusb -v
# Ex.
-#hla_serial "0F003065"
-
+# adapter serial "0F003065"