#include <rtems/sysinit.h>
#include <rtems/score/smpimpl.h>
#include "tx-support.h"
#include <rtems/test.h>