#include <rtems/bspIo.h>
#include "test_support.h"
#include "tmacros.h"


/* system configuration */

#define RTEMS

#define CONFIGURE_APPLICATION_NEED_CLOCK_DRIVER
#define CONFIGURE_APPLICATION_NEEDS_CONSOLE_DRIVER

#define CONFIGURE_MAXIMUM_PROCESSORS   4

#define CONFIGURE_MAXIMUM_TASKS     (26 + CONFIGURE_MAXIMUM_PROCESSORS)
#define CONFIGURE_MAXIMUM_SEMAPHORES 30

//#define CONFIGURE_INITIAL_EXTENSIONS RTEMS_TEST_INITIAL_EXTENSION

#define CONFIGURE_RTEMS_INIT_TASKS_TABLE

#include <rtems/confdefs.h>