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



/* system configuration */

#define RTEMS

#define CONFIGURE_APPLICATION_DOES_NOT_NEED_CLOCK_DRIVER
#define CONFIGURE_APPLICATION_NEEDS_SIMPLE_CONSOLE_DRIVER

#define CONFIGURE_MAXIMUM_PROCESSORS   4

#define CONFIGURE_MAXIMUM_TASKS     (1 + CONFIGURE_MAXIMUM_PROCESSORS)
#define CONFIGURE_MAXIMUM_SEMAPHORES 2

#define CONFIGURE_INITIAL_EXTENSIONS RTEMS_TEST_INITIAL_EXTENSION

#define CONFIGURE_RTEMS_INIT_TASKS_TABLE




#define CONFIGURE_ICQ_INTERCOREQUEUE_SIZE 10

#define CONFIGURE_ICQ_INTERCOREMANAGER_PERIOD 10000

#define CONFIGURE_ICQ_MAXIMUM_INTERCORETASKS 10


#include <rtems/confdefs.h>