#include "mbed.h"

Timeout flipper; // Timeout의 명칭을 flipper 로 정한다.
DigitalOut led1(LED1);
DigitalOut led2(LED2);
 
void flip() {
    led2 = !led2;
}
 
int main() {
    led2 = 1;
    flipper.attach(&flip, 2.0); // flipper 를 초기화하고 2초뒤에 flip 함수를 호출하도록 설정한다. (한번만 호출)
 
    // 메인 함수는 계속 작동하면서 2초뒤에 인터럽트 호출을 통해 flip 함수가 실행된다.
    while(1) {
        led1 = !led1;
        wait(0.2);
    }
}

 #include "mbed.h"

Ticker flipper; // Timeout의 명칭을 flipper 로 정한다.
DigitalOut led1(LED1);
DigitalOut led2(LED2);
 
void flip() {
    led2 = !led2;
}
 
int main() {
    led2 = 1;
    flipper.attach(&flip, 2.0); // flipper 를 초기화하고 2초뒤에 flip 함수를 호출하도록 설정한다. (반복하여 호출)
 
    // 메인 함수는 계속 작동하면서 2초뒤에 인터럽트 호출을 통해 flip 함수가 실행된다.
    while(1) {
        led1 = !led1;
        wait(0.2);
    }
}

 #include "mbed.h"

int main() {
  set_time(1256729737);  // RTC의 시간을 설정한다. 2009년 8월 28일 수요일 11시 35분 37초
 
    while (1) {
        time_t seconds = time(NULL);
        
        printf("Time as seconds since January 1, 1970 = %d\n", seconds); //1970년1월1일 이후 흐른 시간을 초 단위로 표시

        
        printf("Time as a basic string = %s", ctime(&seconds)); //요일, 월, 일, 시간, 년 순으로 문자열로 표시
 
        char buffer[32];
        strftime(buffer, 32, "%I:%M %p\n", localtime(&seconds));
        printf("Time as a custom formatted string = %s", buffer); 
        
        wait(1);

  }
}