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 //================================================
65 #include "frsh_fosa.h"
67 #include "fosa_configuration_parameters.h"
68 #include "fosa_types.h"
70 #include "fosa_threads_and_signals.h"
71 #include "fosa_clocks_and_timers.h"
72 #include "fosa_mutexes_and_condvars.h"
73 #include "fosa_app_def_sched.h"
77 * @defgroup fosa FOSA Private Interfaces
79 * FOSA is an OS adaption layer that encapsulates all POSIX types and
80 * functions into neutral names so that FRSH can compile and be used in
81 * non-POSIX operating systems such as OSE.
83 * It is divided in two parts:
84 * - FRSH_FOSA: Types visible to the application via FRSH_API and
85 * the functions to manage them (thread, signals).
86 * - FOSA: Types and functions only used within FRSH.
88 * The former reside in the FRSH subversion directory and the latter
89 * have their own. They need to be separated because the application
90 * must not see FOSA itself.
92 * For simplicity, we have chosen to hide the operation function on
93 * signals and mutexes with the assumption that a direct mapping
94 * exists for frsh_signal_t, frsh_signal_info_t and frsh_mutext_t in
97 * Since there are some parts which are platform dependent a define
98 * has been introduced for each platform. Currently the supported
106 * This module contains all other modules that are internal to the
107 * FRSH implementation.
109 * Note that to compile FOSA objects an include path towards FRSH is
110 * needed: -I<frsh_include_directory>.