#include <rt/barrier.h>
#include <rt/cond.h>
#include <rt/cycle.h>
#include <rt/event.h>
#include <rt/idle.h>
#include <rt/mpu.h>
#include <rt/mutex.h>
#include <rt/notify.h>
#include <rt/panic.h>
#include <rt/queue.h>
#include <rt/rwlock.h>
#include <rt/sem.h>
#include <rt/start.h>
#include <rt/task.h>
#include <rt/tick.h>
#include <rt/timer.h>
#include <rt/trap.h>

/* Provide these as static constants to guarantee that they are exposed to the
 * rust bindings. They exist as macros to be used in assembly. */
#ifdef RT_MPU_TASK_REGION_START_ID
static const uint32_t RT_MPU_TASK_REGION_START_ID_ =
    RT_MPU_TASK_REGION_START_ID;
#endif

#ifdef RT_MPU_NUM_TASK_REGIONS
static const uint32_t RT_MPU_NUM_TASK_REGIONS_ = RT_MPU_NUM_TASK_REGIONS;
#endif