// Springbok-specific implementation for some IREE functions.

#ifndef SPRINGBOK_CONFIG_H
#define SPRINGBOK_CONFIG_H

// IREE_TIME_NOW_FN is required and used to fetch the current RTC time and to be
// used for wait handling. A thread-less system can just return 0.
#define IREE_TIME_NOW_FN \
  {                      \
    return 0;            \
  }

#endif // SPRINGBOK_CONFIG_H