6 DigitalOut(LED1), DigitalOut(LED2), DigitalOut(LED3), DigitalOut(LED4)
9 void print_char(char c = '*')
15 void blink(void const *n) {
16 static int counter = 0;
17 const int led_id = int(n);
18 LEDs[led_id] = !LEDs[led_id];
19 if (++counter == 75) {
26 MBED_HOSTTEST_TIMEOUT(15);
27 MBED_HOSTTEST_SELECT(wait_us_auto);
28 MBED_HOSTTEST_DESCRIPTION(Timer);
29 MBED_HOSTTEST_START("RTOS_7");
31 RtosTimer led_1_timer(blink, osTimerPeriodic, (void *)0);
32 RtosTimer led_2_timer(blink, osTimerPeriodic, (void *)1);
33 RtosTimer led_3_timer(blink, osTimerPeriodic, (void *)2);
34 RtosTimer led_4_timer(blink, osTimerPeriodic, (void *)3);
36 led_1_timer.start(200);
37 led_2_timer.start(100);
38 led_3_timer.start(50);
39 led_4_timer.start(25);
41 Thread::wait(osWaitForever);