diff --git a/configs/freedom-k64f/include/board.h b/configs/freedom-k64f/include/board.h
index 6ef1183b9e5..1da657ab05a 100644
--- a/configs/freedom-k64f/include/board.h
+++ b/configs/freedom-k64f/include/board.h
@@ -137,6 +137,7 @@
 
 /* PWM Configuration */
 /* FTM0 Channels */
+/* Channels can be modified using kinetis_k64pinmux.h */
 
 #define GPIO_FTM0_CH0OUT PIN_FTM0_CH0_1
 #define GPIO_FTM0_CH1OUT PIN_FTM0_CH1_1
diff --git a/configs/freedom-k64f/src/Makefile b/configs/freedom-k64f/src/Makefile
index 3538dc384be..8c533ec8494 100644
--- a/configs/freedom-k64f/src/Makefile
+++ b/configs/freedom-k64f/src/Makefile
@@ -69,4 +69,8 @@ ifeq ($(CONFIG_USBMSC),y)
 CSRCS += k64_usbmsc.c
 endif
 
+ifeq ($(CONFIG_PWM),y)
+CSRCS += k64_pwm.c
+endif
+
 include $(TOPDIR)/configs/Board.mk
diff --git a/configs/freedom-k64f/src/k64_pwm.c b/configs/freedom-k64f/src/k64_pwm.c
index 7e4a0365d97..54fef08d7ed 100644
--- a/configs/freedom-k64f/src/k64_pwm.c
+++ b/configs/freedom-k64f/src/k64_pwm.c
@@ -64,7 +64,7 @@
 
 #ifdef CONFIG_PWM
 
-extern struct pwm_lowerhalf_s *k64_pwminitialize(int timer);
+extern struct pwm_lowerhalf_s *kinetis_pwminitialize(int timer);
 
 /************************************************************************************
  * Private Functions
@@ -95,7 +95,7 @@ int board_pwm_setup(void)
     {
       /* Call k64_pwminitialize() to get an instance of the PWM interface */
 
-      pwm = k64_pwminitialize(0);
+      pwm = kinetis_pwminitialize(0);
       if (!pwm)
         {
           aerr("ERROR: Failed to get the K64 PWM lower half\n");