Commit b8f55130 authored by jhugues's avatar jhugues

* Update all headers



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/po-hi-c@5655 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 9e9a29ac
......@@ -3,7 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* Copyright (C) 2010, European Space Agency
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
......@@ -24,4 +26,3 @@ int __po_hi_driver_exarm_send (__po_hi_task_id task, __po_hi_port_t port);
void __po_hi_driver_exarm_init (__po_hi_device_id id);
#endif
/*
* This is a part of PolyORB-HI-C distribution, a minimal
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2012 ESA & ISAE.
*/
#include <deployment.h>
#ifdef __PO_HI_NEED_DRIVER_EXARM_NI_6071E_ANALOG
......@@ -13,4 +23,3 @@ void __po_hi_c_driver_exarm_ni_6071e_analog_poller
double* data13, double* data14, double* data15, double* data16);
#endif
/*
* This is a part of PolyORB-HI-C distribution, a minimal
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2012 ESA & ISAE.
*/
#include <deployment.h>
#ifdef __PO_HI_NEED_DRIVER_EXARM_NI_6071E_DIGITAL
......@@ -10,4 +20,3 @@ void __po_hi_c_driver_exarm_ni_6071e_digital_init (__po_hi_device_id device_id);
void __po_hi_c_driver_exarm_ni_6071e_digital_poller (unsigned int* data1, unsigned int* data2);
#endif
......@@ -3,7 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* Copyright (C) 2010, European Space Agency
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
......@@ -20,4 +22,3 @@ void __po_hi_driver_generic_keyboard_init (__po_hi_device_id id);
#endif
#endif
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2011, European Space Agency (ESA).
* Copyright (C) 2011-2012 ESA & ISAE.
*/
......
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2011, European Space Agency (ESA).
* Copyright (C) 2011-2012 ESA & ISAE.
*/
......
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010-2011, European Space Agency (ESA).
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
......
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010, European Space Agency
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_DRIVER_PUS_EVENTS_H__
......@@ -93,4 +93,3 @@ int __po_hi_driver_pus_events_enable (char* data);
#endif /* __PO_HI_DRIVER_PUS_EVENTS_H__ */
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010, European Space Agency.
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_DRIVER_PUS_EVENTS_ACTION_H__
......@@ -221,4 +221,3 @@ int __po_hi_driver_pus_events_action_event_report ();
#endif /* __PO_HI_DRIVER_PUS_EVENTS_ACTION_H__ */
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010, European Space Agency
* Copyright (C) 2010-2012 ESA & ISAE.
*/
......@@ -155,4 +155,3 @@ void __po_hi_driver_pus_packet_init (__po_hi_driver_pus_packet_t* pkt);
#endif
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010, European Space Agency.
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_DRIVER_PUS_PARAMETER_MONITORING_H__
......
......@@ -3,7 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* Copyright (C) 2010, European Space Agency
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
......@@ -65,4 +67,3 @@ int __po_hi_c_driver_1553_rasta_proccess_list (__po_hi_c_driver_rasta_1553_brm
#endif
#endif
/*
* This is a part of PolyORB-HI-C distribution, a minimal
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2012 ESA & ISAE.
*/
#ifndef __PO_HI_DRIVER_RASTA_1553_BRM_LIB_H__
#define __PO_HI_DRIVER_RASTA_1553_BRM_LIB_H__
......
......@@ -3,7 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* Copyright (C) 2010, European Space Agency
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
......@@ -16,4 +18,3 @@ void __po_hi_c_driver_rasta_common_init ();
#endif
......@@ -3,7 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* Copyright (C) 2010, European Space Agency
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
......@@ -22,4 +24,3 @@ int __po_hi_c_driver_serial_rasta_sender (const __po_hi_task_id task_id, const _
#endif
#endif
......@@ -3,7 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* Copyright (C) 2010-2011, European Space Agency
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
......@@ -24,4 +26,3 @@ int __po_hi_c_driver_spacewire_rasta_sender (const __po_hi_task_id task_id, cons
#endif
#endif
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2011, European Space Agency (ESA).
* Copyright (C) 2011-2012 ESA & ISAE.
*/
......@@ -46,4 +46,3 @@ int __po_hi_c_driver_serial_common_get_speed (const __po_hi_device_id id);
#endif
#endif
......@@ -3,7 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* Copyright (C) 2010-2011, European Space Agency
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
......@@ -73,4 +75,3 @@ void __po_hi_driver_sockets_init (__po_hi_device_id id);
#endif
#endif
......@@ -3,7 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* Copyright (C) 2011, European Space Agency
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2011-2012 ESA & ISAE.
*/
#include <deployment.h>
......@@ -971,4 +973,3 @@ SPACEWIREUSB_API U32 SPW_USB_API_CC USBSpaceWire_TC_GetClockFrequency(
#endif /* SPACEWIRE_USB_API_H */
/*
* This is a part of PolyORB-HI-C distribution, a minimal
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2012 ESA & ISAE.
*/
#include <deployment.h>
#ifdef __PO_HI_NEED_DRIVER_XC4V_FPGA
......@@ -19,4 +29,3 @@ void __po_hi_driver_xc4v_fpga_write_register (unsigned offset, unsigned value);
*/
#endif /* __PO_HI_NEED_DRIVER_XC4V_FPGA */
/*
* This is a part of PolyORB-HI-C distribution, a minimal
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2012 ESA & ISAE.
*/
#ifndef __PO_HI_DRIVERS_RTEMS_UTILS_H__
#define __PO_HI_DRIVERS_RTEMS_UTILS_H__
......@@ -11,4 +21,3 @@
}
#endif
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2008, GET-Telecom Paris.
* Copyright (C) 2010, European Space Agency.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_COMMON_H__
......
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2010, European Space Agency (ESA).
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_DEBUG_H__
......
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifdef __PO_HI_USE_GIOP
......
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_GQUEUE_H__
......
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://www.assert-online.net/taste
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2012, European Space Agency (ESA)
* Copyright (C) 2012 ESA & ISAE.
*/
......@@ -210,4 +210,3 @@ typedef int __po_hi_lua_context_t;
#endif /* ifdef __PO_HI_USE_LUA */
#endif /* __PO_HI_LUA_H__ */
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2008, GET-Telecom Paris.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_MAIN__
......
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2010, European Space Agency (ESA).
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_MARSHALLERS_H_
......
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_MESSAGES_H_
......
......@@ -5,7 +5,7 @@
*
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2011, European Space Agency.
* Copyright (C) 2011-2012 ESA & ISAE.
*/
/*
......@@ -276,4 +276,3 @@ int __po_hi_monitor_recover_port (const __po_hi_port_t);
#endif
#endif
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2011-2012, European Space Agency.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_PROTECTED_H__
......
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2007-2010, European Space Agency
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_RETURNS_H__
......
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_SIMULINK_H__
......
......@@ -5,7 +5,7 @@
*
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2011, European Space Agency.
* Copyright (C) 2011-2012 ESA & ISAE.
*/
#ifndef __PO_HI_STORAGE_H__
......@@ -582,4 +582,3 @@ int __po_hi_storage_packet_store_free (__po_hi_storage_packet_store_t* store, in
int __po_hi_storage_packet_store_status (__po_hi_storage_packet_store_t* store, __po_hi_storage_packet_store_status_t* status);
#endif /* __PO_HI_STORAGE_H__ */
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010-2011, European Space Agency (ESA).
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_TASK_H__
......
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2008, GET-Telecom Paris.
* Copyright (C) 2011-2012, European Space Agency.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_TIME_H__
......
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2008, GET-Telecom Paris.
* Copyright (C) 2010-2012, European Space Agency.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_TRANSPORT__
......
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2010-2012, European Space Agency.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_TYPES_H_
......
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2007-2009, GET-Telecom Paris.
* Copyright (C) 2010-2012, European Space Agency.
* Copyright (C) 2007-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#ifndef __PO_HI_UTILS_H__
......
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010, European Space Agency (ESA)
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <rtems.h>
......
......@@ -3,12 +3,11 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010, European Space Agency.
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
#define CONFIGURE_LIBIO_MAXIMUM_FILE_DESCRIPTORS 32
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2008, GET-Telecom Paris.
* Copyright (C) 2008-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#include <rtems.h>
......
......@@ -3,10 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2008-2009, GET-Telecom Paris.
* Copyright (C) 2010, European Space Agency.
* Copyright (C) 2008-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
......@@ -22,4 +21,3 @@
(defined (__PO_HI_NEED_DRIVER_1553_RASTA))
#define CONFIGURE_MAXIMUM_DRIVERS 16
#endif
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010, European Space Agency (ESA)
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <rtems.h>
......
......@@ -3,12 +3,11 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2010, European Space Agency.
* Copyright (C) 2010-2012 ESA & ISAE.
*/
#include <deployment.h>
#define CONFIGURE_LIBIO_MAXIMUM_FILE_DESCRIPTORS 32
......@@ -3,9 +3,9 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2008, GET-Telecom Paris.
* Copyright (C) 2008-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#include <rtems.h>
......
......@@ -3,13 +3,12 @@
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://ocarina.enst.fr
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2008, GET-Telecom Paris.
* Copyright (C) 2008-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.
*/
#define CONFIGURE_TEST_NEEDS_CONSOLE_DRIVER
#define CONFIGURE_TEST_NEEDS_CLOCK_DRIVER
#define CONFIGURE_LIBIO_MAXIMUM_FILE_DESCRIPTORS 20
#define CONFIGURE_USE_IMFS_AS_BASE_FILESYSTEM
/*
* This is a part of PolyORB-HI-C distribution, a minimal
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2012 ESA & ISAE.
*/
/*
** $Id: lauxlib.h,v 1.120 2011/11/29 15:55:08 roberto Exp $
** Auxiliary functions for building Lua libraries
......@@ -209,4 +219,3 @@ LUALIB_API void (luaL_openlib) (lua_State *L, const char *libname,
#endif
/*
* This is a part of PolyORB-HI-C distribution, a minimal
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*
* For more informations, please visit http://assert-project.net/taste
*
* Copyright (C) 2012 ESA & ISAE.
*/
/*
** $Id: lua.h,v 1.282 2011/11/29 15:55:08 roberto Exp $
** Lua - A Scripting Language
......
/*
* This is a part of PolyORB-HI-C distribution, a minimal
* middleware written for generated code from AADL models.
* You should use it with the Ocarina toolsuite.
*