void
rtimer_arch_init(void)
{
}

void
rtimer_arch_set(rtimer_clock_t t)
{
}

rtimer_clock_t
rtimer_arch_now(void)
{
  return 0;
}