#include <oskit/dev/timer.h>
const oskit_iid_t oskit_timer_iid = OSKIT_TIMER_IID;