#include <rt/abort.h>
#include <rt/barrier.h>
#include <rt/cond.h>
#include <rt/cycle.h>
#include <rt/event.h>
#include <rt/exit.h>
#include <rt/idle.h>
#include <rt/mpu.h>
#include <rt/mutex.h>
#include <rt/notify.h>
#include <rt/panic.h>
#include <rt/pool.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>
#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
#ifdef RT_QUEUE_MAX_SIZE
static const size_t RT_QUEUE_MAX_SIZE_ = RT_QUEUE_MAX_SIZE;
#endif