diff --git a/workspace_tools/export/README.md b/workspace_tools/export/README.md
index 2f98cfbb7d..4b4e3cc03d 100644
--- a/workspace_tools/export/README.md
+++ b/workspace_tools/export/README.md
@@ -1088,7 +1088,7 @@ Exporter IDE/Platform Support
         <td>-</td>
         <td>-</td>
         <td>&#10003;</td>
-        <td>-</td>
+        <td>&#10003;</td>
         <td>-</td>
         <td>-</td>
         <td>-</td>
@@ -1145,4 +1145,4 @@ Exporter IDE/Platform Support
 </table>
 Total IDEs: 9
 <br>Total platforms: 94
-<br>Total permutations: 288
\ No newline at end of file
+<br>Total permutations: 288
diff --git a/workspace_tools/export/gcc_arm_teensy3_1.tmpl b/workspace_tools/export/gcc_arm_teensy3_1.tmpl
new file mode 100644
index 0000000000..47ed5cfa17
--- /dev/null
+++ b/workspace_tools/export/gcc_arm_teensy3_1.tmpl
@@ -0,0 +1,4 @@
+{% extends "gcc_arm_common.tmpl" %}
+
+{% block hardfp %}{% endblock %}
+{% block cpu %}-mcpu=cortex-m4 -mthumb{% endblock %}
diff --git a/workspace_tools/export/gccarm.py b/workspace_tools/export/gccarm.py
index f67aeef76b..7e6b8b2eb3 100755
--- a/workspace_tools/export/gccarm.py
+++ b/workspace_tools/export/gccarm.py
@@ -85,7 +85,7 @@ class GccArm(Exporter):
         'NRF51_DONGLE',
         'SEEED_TINY_BLE',
         'DISCO_F401VC',
-		'DELTA_DFCM_NNN40',
+        'DELTA_DFCM_NNN40',
         'RZ_A1H',
         'MOTE_L152RC',
         'EFM32WG_STK3800',
@@ -95,6 +95,7 @@ class GccArm(Exporter):
         'EFM32HG_STK3400',
         'NZ32SC151',
         'SAMR21G18A',
+        'TEENSY3_1',
     ]
 
     DOT_IN_RELATIVE_PATH = True