mbed library sources for GR-PEACH rev.B.

Fork of mbed-src by mbed official

Revision:
511:532f83b66a7f
Parent:
442:d916d321e60f
--- a/targets/hal/TARGET_STM/TARGET_STM32F4/TARGET_DISCO_F429ZI/PeripheralNames.h	Thu Apr 09 08:00:08 2015 +0100
+++ b/targets/hal/TARGET_STM/TARGET_STM32F4/TARGET_DISCO_F429ZI/PeripheralNames.h	Thu Apr 09 12:15:08 2015 +0100
@@ -86,7 +86,9 @@
     PWM_8  = (int)TIM8_BASE,
     PWM_9  = (int)TIM9_BASE,
     PWM_10 = (int)TIM10_BASE,
-    PWM_11 = (int)TIM11_BASE
+    PWM_11 = (int)TIM11_BASE,
+    PWM_13 = (int)TIM13_BASE,
+    PWM_14 = (int)TIM14_BASE
 } PWMName;
 
 #ifdef __cplusplus