File content as of revision 1:1a28aaca601d:

#include "mbed.h"

#include "EthernetInterface.h"
#include "NTPClient.h"
#include "AlarmClock.h"

extern void net_main(void const *av) ;

AlarmClock alarmclock (                          
    /* Segment 0 - 6, Dot */    D11,D6, D3, D1, D0, D10,D4, D2 , 
    /* Digit 1 - 4        */    D5, D7, D9, D12, 
    /* Alarm, Hour, Min, Tone */D13, D14, D15, PTC11
)  ;

static void ntp(char *site)
{
    NTPClient ntp;

    alarmclock.setLED(33, 33) ;
    if (ntp.setTime(site) == 0) {
        alarmclock.flashLED() ;
    } else {
        alarmclock.setLED(0, 0) ;
        wait(30.0) ;
        return ;
    }
}

void clock_main(void const *av)
{
    ntp("ntp.jst.mfeed.ad.jp") ;
    alarmclock.start() ; 
    while(1){        
        alarmclock.poll() ;
        Thread::wait(100);
    } 
}

int main() {
    EthernetInterface eth;
    int ret ;
    
    alarmclock.setLED(11, 11) ;
    ret = eth.init(); 
    alarmclock.setLED(22, 22) ;
    while(1) {
        ret = eth.connect();
        if(ret == 0)break ;
        Thread::wait(10);
    }
    
    #define NET_STACK   16000
    Thread t_clock(clock_main, NULL, osPriorityNormal);
    Thread t_net  (net_main,   NULL, osPriorityNormal, NET_STACK  );
    while(1)Thread::wait(1000);
}