GitLab

   - Introduce the ability to use two instances
     of the same driver.
   - Impact: poller are expected to take a mandatory
     argument that has the type __po_hi_device_id

 * ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
 * ocarina/src/backends/ocarina-backends-c_tree-nutils.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   - Also adapt the call sequence of a subprogram and a thread
     when we generate the call sequence

 * ocarina/src/backends/ocarina-backends-c_common-subprograms.adb
   - Also consider the device if the subprogram
     is part of a device implementation, map the correct
     arguments when mapping the spec of the subprogram
     and its call sequence.

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   - Add the __po_hi_device_id to the subprogram signatures
     that correspond to functions defined for the implementation
     of a driver



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2701 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Add bench and compcert execution platform
 
 * ocarina/src/backends/ocarina-backends-properties.adb
   ocarina/src/backends/ocarina-backends-properties.ads
   - Supports the handling of new platform values

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
   - Generate code compliant with compcert





git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2671 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Map ASN type to C type names

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   - Add Map_ASN_Type function

 * ocarina/resources/Makefile.am
   - Substitute OCARINA_INCLUDE_PATH to the ocarina_components.aadl
     file

 * ocarina/resources/AADLv2/components/devices.aadl
   - Specify ASN.1 and C header files



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2062 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Add extern declaration of configuration variables
     of devices in deployment files

 * ocarina/src/backends/ocarina-backends-build_utils.adb
   - Add the file that contains the configuration variable
     in the list of files to be compiled

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Devices_Configuration_Values that is an array
     that contains a reference to the variable
     that contain device configuration

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   - Add Map_Device_Confvar_Name to define the name of the
     configuration variable of a device



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2034 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Describe the number of buses accessed by each device
   - Put the buses names accessed by each device.
   
 * backends/ocarina-backends-po_hi_c-runtime.ads
   - Add RE_Devices_Nb_Accessed_Buses
   - Add RE_Devices_Accessed_Buses

 * backends/ocarina-backends-c_common-mapping.adb
   backends/ocarina-backends-c_common-mapping.ads
   - Add Map_Devices_Buses_Array_Name that provides
     a name for the array that describes the buses
     accessed by the device.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2033 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@708 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@574 129961e7-ef38-4bb5-a8f7-c9a525a55882

able to begin to write drivers inside pohic



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@533 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@457 129961e7-ef38-4bb5-a8f7-c9a525a55882