// by the GNU General Public License. This exception does not
// however invalidate any other reasons why the executable file might be
// covered by the GNU Public License.
-// As a special exception, if you include this header file into source
-// files to be compiled, this header file does not by itself cause
-// the resulting executable to be covered by the GNU General Public
-// License. This exception does not however invalidate any other
-// reasons why the executable file might be covered by the GNU General
-// Public License.
// -----------------------------------------------------------------------
//frsh_core_types.h
//==============================================
#include "frsh_distributed_types.h"
#include "frsh_error.h"
+#include "fosa.h"
+
FRSH_CPP_BEGIN_DECLS
/**
/** thread attributes object **/
typedef fosa_thread_attr_t frsh_thread_attr_t;
-/**
+/**
* The type references a function that may become a thread's
* code
**/
/** Ressource Id: processor_id or network_id **/
/**********************************************/
-typedef unsigned int frsh_resource_id_t;
+typedef fosa_resource_id_t frsh_resource_id_t;
/** Kind of contract: regular, background or dummy **/
typedef enum {