contiki-gtk/conf/clock-conf.h

#ifndef __CLOCK_CONF_H__
#define __CLOCK_CONF_H__

typedef unsigned long clock_time_t;
#define CLOCK_CONF_SECOND 1000

#endif /* __CLOCK_CONF_H__ */