// 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;            \
  }

// IREE_DEVICE_SIZE_T for status print out.
#define IREE_DEVICE_SIZE_T uint32_t
#define PRIdsz PRIu32

#endif // SPRINGBOK_CONFIG_H