File content as of revision 0:0689619f2486:

#include "mbed.h"

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

static 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 EthernetInterface eth;

void clock_main(void const *av)
{
    int ret ;
    NTPClient ntp;
    alarmclock.setLED(11, 11) ;
    ret = eth.init(); 
    alarmclock.setLED(22, 22) ;
    while(1) {
        ret = eth.connect();
        if(ret == 0)break ;
        Thread::wait(10);
    }
    alarmclock.setLED(33, 33) ;
    if (ntp.setTime("ntp.jst.mfeed.ad.jp") == 0) {
        alarmclock.flashLED() ;
    } else {
        alarmclock.setLED(0, 0) ;
        wait(30.0) ;
        return ;
    }
    alarmclock.start() ; 
    while(1){        
        alarmclock.poll() ;
        Thread::wait(100);
    } 
}

int main() {
    #define STACK_SIZE 16000
    Thread t(clock_main, NULL, osPriorityNormal, STACK_SIZE);
    while(1)Thread::wait(1000);
}