[TARGET_STMF4] reorg hal

some test extensions

Author: ohagendorf

libraries/tests/mbed/pwm/main.cpp

@@ -116,6 +116,46 @@ int main() {
 
     printf("Initialize PWM on pin PD_12 with duty cycle: %.2f\n", result);
 
+    notify_completion(result == value ? true : false);
+#elif defined(TARGET_MTS_MDOT_F405RG)
+    PwmOut pwm_1(PA_0);
+
+    pwm_1.write(value);
+    
+    float result = floor(pwm_1.read() * 100 + 0.5) / 100; // round it to 0.xx
+
+    printf("Initialize PWM on pin PD_12 with duty cycle: %.2f\n", result);
+
+    notify_completion(result == value ? true : false);
+#elif defined(TARGET_MTS_DRAGONFLY_F411RE)
+    PwmOut pwm_1(PA_0);
+
+    pwm_1.write(value);
+    
+    float result = floor(pwm_1.read() * 100 + 0.5) / 100; // round it to 0.xx
+
+    printf("Initialize PWM on pin PD_12 with duty cycle: %.2f\n", result);
+
+    notify_completion(result == value ? true : false);
+#elif defined(TARGET_MTS_MDOT_F411RE)
+    PwmOut pwm_1(PA_0);
+
+    pwm_1.write(value);
+    
+    float result = floor(pwm_1.read() * 100 + 0.5) / 100; // round it to 0.xx
+
+    printf("Initialize PWM on pin PD_12 with duty cycle: %.2f\n", result);
+
+    notify_completion(result == value ? true : false);
+#elif defined(TARGET_UBLOX_C029)
+    PwmOut pwm_1(PA_0);
+
+    pwm_1.write(value);
+    
+    float result = floor(pwm_1.read() * 100 + 0.5) / 100; // round it to 0.xx
+
+    printf("Initialize PWM on pin PD_12 with duty cycle: %.2f\n", result);
+
     notify_completion(result == value ? true : false);
 #else
 #error This test is not supported on this target.

workspace_tools/tests.py

@@ -139,7 +139,7 @@
         "mcu": ["LPC1768", "LPC2368", "KL25Z", "K64F", "K22F", "LPC4088", "LPC1549",
                 "NUCLEO_F072RB", "NUCLEO_F091RC", "NUCLEO_F302R8", "NUCLEO_F303RE",
                 "NUCLEO_F334R8", "NUCLEO_L053R8", "NUCLEO_L073RZ", "NUCLEO_L152RE",
-                "NUCLEO_F411RE","DISCO_F407VG"]
+                "NUCLEO_F411RE","DISCO_F407VG","ARCH_MAX"]
     },
     {
         "id": "MBED_A9", "description": "Serial Echo at 115200",