1 // -----------------------------------------------------------------------
2 // Copyright (C) 2006 - 2007 FRESCOR consortium partners:
4 // Universidad de Cantabria, SPAIN
5 // University of York, UK
6 // Scuola Superiore Sant'Anna, ITALY
7 // Kaiserslautern University, GERMANY
8 // Univ. Politecnica Valencia, SPAIN
9 // Czech Technical University in Prague, CZECH REPUBLIC
11 // Thales Communication S.A. FRANCE
12 // Visual Tools S.A. SPAIN
13 // Rapita Systems Ltd UK
16 // See http://www.frescor.org for a link to partners' websites
18 // FRESCOR project (FP6/2005/IST/5-034026) is funded
19 // in part by the European Union Sixth Framework Programme
20 // The European Union is not liable of any use that may be
23 // This file is part of the FRSH implementation
25 // FRSH is free software; you can redistribute it and/or modify
26 // it under the terms of the GNU General Public License as published by
27 // the Free Software Foundation; either version 2, or (at your option)
30 // FRSH is distributed in the hope that it will be useful, but
31 // WITHOUT ANY WARRANTY; without even the implied warranty of
32 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
33 // General Public License for more details.
35 // You should have received a copy of the GNU General Public License
36 // distributed with FRSH; see file COPYING. If not, write to the
37 // Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
40 // As a special exception, if you include this header file into source
41 // files to be compiled, this header file does not by itself cause
42 // the resulting executable to be covered by the GNU General Public
43 // License. This exception does not however invalidate any other
44 // reasons why the executable file might be covered by the GNU General
46 // -----------------------------------------------------------------------
48 //==============================================
49 // ******** ****** ******** **********
50 // **///// /** ** **////// /** /**
51 // ** /** ** /** /** /**
52 // ******* /** ** /********* /**********
53 // **//// /** ** ////////** /**//////**
54 // ** /** ** /** /** /**
55 // ** /** ** ******** /** /**
56 // // /******/ //////// // //
58 // FOSA(Frescor Operating System Adaptation layer)
59 //================================================
61 // Implementation dependent definitions
63 #ifndef _FOSA_OPAQUE_TYPES_H_
64 #define _FOSA_OPAQUE_TYPES_H_
68 /////////////////////// RT_LINUX, MARTE_OS & AQuoSA ///////////////////////////
70 #if defined(RT_LINUX) || defined(MARTE_OS) || defined(AQuoSA)
78 #include <rtl_timer.h>
81 #define FOSA_CLOCK_ID_T_OPAQUE clockid_t
82 #define FOSA_SYSTEM_CLOCK_OPAQUE CLOCK_REALTIME
84 #define FOSA_TIMER_ID_T_OPAQUE timer_t
86 #define FOSA_COND_T_OPAQUE pthread_cond_t
94 posix_appsched_actions_t actions;
95 struct timespec * timeout_ptr;
96 struct timespec timeout;
100 } fosa_ads_actions_internal_t;
103 #define FOSA_ADS_ACTIONS_T_OPAQUE fosa_ads_actions_internal_t
106 /* hack to get AQuoSA sources compile without having none
107 * of the application level scheduler header files and symbols */
109 #define posix_appsched_actions_t int
112 #define FOSA_ADS_ACTIONS_T_OPAQUE posix_appsched_actions_t
118 ////////////////// END OF RT_LINUX, MARTE_OS and AQuoSA //////////////////////
121 ////////////////////////// DUMMY_OS //////////////////////////////////////
123 #if defined(DUMMY_OS)
125 /* With this define we make sure that we are truly POSIX and OSE */
126 /* independent at the FRSH code. */
127 /*****************************************************************/
129 #define FOSA_CLOCK_ID_T_OPAQUE int
130 #define FOSA_SYSTEM_CLOCK_OPAQUE 42
132 #define FOSA_TIMER_ID_T_OPAQUE int
134 #define FOSA_COND_T_OPAQUE int
140 #define FOSA_ADS_ACTIONS_T_OPAQUE int
146 //////////////////////////End of DUMMY_OS ////////////////////////////////////
151 #endif // _FOSA_OPAQUE_TYPES_H_