]> rtime.felk.cvut.cz Git - frescor/frsh-include.git/blobdiff - frsh_configuration_parameters.h
Upgrading FRSH trunk to D-AC2v2. Phase I: Moving FRSH-FOSA to FOSA
[frescor/frsh-include.git] / frsh_configuration_parameters.h
index 936d3551403a1c43ef260a7ee60428aacb58d7c0..5dbab0b60b64bc7601dd325592fae1d139b99951 100644 (file)
 
 #define FRSH_DISTRIBUTED_MODULE_SUPPORTED false
 
+
+/** This defines 1 resource_id value for systems that have only one
+    resource of a kind. **/
+#define FRSH_RESOURCE_ID_DEFAULT 0
+#define FRSH_CPU_ID_DEFAULT 0
+#define FRSH_NETWORK_ID_DEFAULT 0
+
 /**
  * @defgroup internal Array size for memory optimization
  * @ingroup config
 /** Maximum number of send and receive endpoints in a single node **/
 #define FRSH_MAX_N_ENDPOINTS 10
 
+/** Maximum number of chars for a contract label **/
+#define FRSH_CONTRACT_LABEL_MAXLENGTH 15
+
 /*@}*/
 
 /**
 #define FRSH_SCHEDULER_SIGNAL                 FRSH_SIGNAL_MIN
 
 
+
 /**
  * The highest priority that can be assigned to an application thread,
  * it should be defined as one level less than the