-
jdelange authored
ocarina/src/backends/ocarina-backends-properties.ads ocarina/src/backends/ocarina-backends-po_hi_c.adb ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb - Handle new platforms for RTEMS and compcert deployment git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2945 129961e7-ef38-4bb5-a8f7-c9a525a55882
9c75fa44