#else /* !AQuoSA, MARTE_OS, RT_LINUX */
+#ifdef MARTE_OS
typedef pthread_t FOSA_THREAD_ID_T_OPAQUE;
+#else
+//#define FOSA_MUTEX_T_OPAQUE pthread_mutex_t
+#define FOSA_THREAD_ID_T_OPAQUE pthread_t
+#endif
#endif /* AQuoSA */
typedef int FOSA_SIGNAL_T_OPAQUE;
-
typedef pthread_mutex_t FOSA_MUTEX_T_OPAQUE;
// The minimum and maximum signal numbers that may be used by the FRSH
////////////////////////// VIRTUAL TIME //////////////////////////////////////
#if defined(VIRTUAL_TIME)
-#include <fosa.h>
-#include <vt_ose.h>
+#include <fosa_vt.h>
#define FOSA_THREAD_ID_T_OPAQUE vt_posix_process_t