-
julien.delange authored
ocarina/src/backends/ocarina-backends-properties.ads - Handle immediate_priority_ceiling_protocol and priority_inheritance proprty values * ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb - Generate variables __po_hi_protected_configuration and __po_hi_protected_priorities that describe protected variable requirements * ocarina/src/backends/ocarina-backends-c_common-types.adb - Take in account the new protected types * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads - Add entities RE_Protected_Regular, RE_Protected_PCP, RE_Protected_PIP, RE_Protected_Protocol_T, RE_Protected_Configuration, RE_Protected_Priorities and RE_Protected_Protocol_T * ocarina/resources/AADLv2/aadl_project.aadl - Add immediate_priority_ceiling_protocol and priority_inheritance proprty as new values for Supported_Concurrency_Control_Protocol git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1645 129961e7-ef38-4bb5-a8f7-c9a525a55882
f1f55451