diff --git a/README.md b/README.md
index 64046f1034..b84f2b286d 100644
--- a/README.md
+++ b/README.md
@@ -38,10 +38,11 @@ NXP:
 * [LPC1549](https://mbed.org/platforms/LPCXpresso1549/) (Cortex-M3)
 
 Freescale:
-* FRDM-K20D50M
+* FRDM-K20D50M (Cortex-M4)
 * [FRDM-KL05Z](https://mbed.org/platforms/FRDM-KL05Z/) (Cortex-M0+)
 * [FRDM-KL25Z](http://mbed.org/platforms/KL25Z/) (Cortex-M0+)
 * [FRDM-KL46Z](https://mbed.org/platforms/FRDM-KL46Z/) (Cortex-M0+)
+* FRDM-K64F (Cortex-M4)
 
 STMicroelectronics:
 * [Nucleo-F103RB](https://mbed.org/platforms/ST-Nucleo-F103RB/) (Cortex-M3)
diff --git a/workspace_tools/build_release.py b/workspace_tools/build_release.py
index b542473538..97d571a669 100644
--- a/workspace_tools/build_release.py
+++ b/workspace_tools/build_release.py
@@ -41,6 +41,7 @@ OFFICIAL_MBED_LIBRARY_BUILD = (
     ('KL05Z',        ('ARM', 'uARM', 'GCC_ARM')),
     ('KL25Z',        ('ARM', 'GCC_ARM')),
     ('KL46Z',        ('ARM', 'GCC_ARM')),
+    ('K64F',         ('ARM')),
     
     ('NUCLEO_F103RB', ('ARM', 'uARM')),
     ('NUCLEO_L152RE', ('ARM', 'uARM')),