#include "rtos.h"
#include "mbed.h"

DigitalOut red_led_pin(D9);
DigitalOut yellow_led_pin(D12);

void      blink_red_led(void const *args) {
  while (true) {
    Thread::wait(500);
    red_led_pin = !red_led_pin;
  }
}

void      blink_yellow_led(void const *args) {
  while (true) {
    Thread::wait(500);
    yellow_led_pin = !yellow_led_pin;
  }
}

int main(void) {

  Thread red_led(blink_red_led);
  Thread yellow_led(blink_yellow_led);
  // while (true) {
  //   Thread::wait(500);
  //   yellow_led_pin = !yellow_led_pin;
  // }
  return 0;
}