GitLab

   ocarina/src/backends/ocarina-backends-properties.ads
   - Handle linux32 and linux64 platforms

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Use the Linux32 and linux64 property values for
     generation of Makefiles

 * ocarina/resources/deployment.aadl
   - Add Linux32 and Linux64 values

 * ocarina/resources/AADLv2/components/processors/x86.aadl
   - Define processors for linux32 and linux64 targets.



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