Rename Zynq-7000 processor.

resources/deployment.aadl

@@ -43,7 +43,7 @@ property set Deployment is
     VXWORKS,                  -- VXWORKS
     FREERTOS,                 -- FREERTOS
     AIR,                      -- AIR Hypervisor, by GMV
-    ZYNQ_RTEMS,               -- Zynq support, for CoRA-MBAD
+    ZYNQZC706_RTEMS,               -- Zynq support, for CoRA-MBAD
     ZYNQ_RTEMS_QEMU,          -- Zynq support, for CoRA-MBAD, for QEMU
     MSP430_FREERTOS           -- MSP430 board with FreeRTOS
     );

src/backends/ocarina-backends-properties.adb

@@ -333,7 +333,7 @@ package body Ocarina.Backends.Properties is
    Platform_Vxworks_Name                : Name_Id;
    Platform_GNAT_Runtime_Name           : Name_Id;
    Platform_AIR_Name                    : Name_Id;
-   Platform_Zynq_RTEMS_Name             : Name_Id;
+   Platform_ZynqZC706_RTEMS_Name        : Name_Id;
    Platform_Zynq_RTEMS_QEMU_Name        : Name_Id;
    Platform_MSP430_FREERTOS_Name        : Name_Id;
 
@@ -2515,8 +2515,8 @@ package body Ocarina.Backends.Properties is
             return Platform_GNAT_Runtime;
          elsif P_Name = Platform_AIR_Name then
             return Platform_AIR;
-         elsif P_Name = Platform_Zynq_RTEMS_Name then
-            return Platform_Zynq;
+         elsif P_Name = Platform_ZynqZC706_RTEMS_Name then
+            return Platform_ZynqZC706;
          elsif P_Name = Platform_Zynq_RTEMS_QEMU_Name then
             return Platform_Zynq_QEMU;
          elsif P_Name = Platform_MSP430_FREERTOS_Name then
@@ -3087,7 +3087,7 @@ package body Ocarina.Backends.Properties is
       Platform_Vxworks_Name          := Get_String_Name ("vxworks");
       Platform_GNAT_Runtime_Name     := Get_String_Name ("gnat_runtime");
       Platform_AIR_Name              := Get_String_Name ("air");
-      Platform_Zynq_RTEMS_Name       := Get_String_Name ("zynq_rtems");
+      Platform_ZynqZC706_RTEMS_Name  := Get_String_Name ("zynqzc706_rtems");
       Platform_Zynq_RTEMS_QEMU_Name  := Get_String_Name ("zynq_rtems_qemu");
       Platform_MSP430_FREERTOS_Name  := Get_String_Name ("msp430_freertos");
 

src/backends/ocarina-backends-properties.ads

@@ -567,7 +567,7 @@ package Ocarina.Backends.Properties is
       Platform_VxWorks,
       Platform_GNAT_Runtime,
       Platform_AIR,
-      Platform_Zynq,
+      Platform_ZynqZC706,
       Platform_Zynq_QEMU,
       Platform_MSP430_FREERTOS,
       Platform_None); --  Unspecified

src/backends/po_hi_c/ocarina-backends-po_hi_c-deployment.adb

@@ -2369,7 +2369,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
                     Platform_LINUX_DLL              |
                     Platform_LINUX64                |
                     Platform_LINUX32                |
-                    Platform_Zynq                   |
+                    Platform_ZynqZC706              |
                     Platform_Zynq_QEMU                =>
                      Append_Node_To_List
                        (RE (RE_Littleendian),

src/backends/po_hi_c/ocarina-backends-po_hi_c.adb

@@ -237,8 +237,8 @@ package body Ocarina.Backends.PO_HI_C is
          when Platform_AIR =>
             Write_Str ("air");
 
-         when Platform_Zynq =>
-            Write_Str ("zynq");
+         when Platform_ZynqZC706 =>
+            Write_Str ("zynqzc706");
 
          when Platform_Zynq_QEMU =>
             Write_Str ("zynq_qemu");