SAM V71 Runtime

resources/deployment.aadl

@@ -49,7 +49,8 @@ property set Deployment is
     ZYNQZC706_RTEMS,          -- Zynq support, for CoRA-MBAD
     ZYNQ_RTEMS_QEMU,          -- Zynq support, for CoRA-MBAD, for QEMU
     MSP430_FREERTOS,          -- MSP430 board with FreeRTOS
-    GENERIC_LINUX         -- Linux generic
+    GENERIC_LINUX,            -- Linux generic
+    SAMV71_FREERTOS           -- SAM V71 with FreeRTOS
     );
   --  Supported platforms
 

src/backends/ocarina-backends-properties.adb

@@ -339,6 +339,7 @@ package body Ocarina.Backends.Properties is
    Platform_Zynq_RTEMS_QEMU_Name        : Name_Id;
    Platform_MSP430_FREERTOS_Name        : Name_Id;
    Platform_GENERIC_LINUX_Name          : Name_Id;
+   Platform_SAMV71_FREERTOS_Name        : Name_Id;
    Platform_AIR_IOP_Name                : Name_Id;
 
    Transport_BSD_Sockets_Name : Name_Id;
@@ -2553,6 +2554,8 @@ package body Ocarina.Backends.Properties is
             return Platform_MSP430_FREERTOS;
          elsif P_Name = Platform_GENERIC_LINUX_Name then
             return Platform_GENERIC_LINUX;
+         elsif P_Name = Platform_SAMV71_FREERTOS_Name then
+            return Platform_SAMV71_FREERTOS;
          elsif P_Name = Platform_AIR_IOP_Name then
             return Platform_AIR_IOP;
          else
@@ -3126,6 +3129,7 @@ package body Ocarina.Backends.Properties is
       Platform_Zynq_RTEMS_QEMU_Name  := Get_String_Name ("zynq_rtems_qemu");
       Platform_MSP430_FREERTOS_Name  := Get_String_Name ("msp430_freertos");
       Platform_GENERIC_LINUX_Name    := Get_String_Name ("generic_linux");
+      Platform_SAMV71_FREERTOS_Name  := Get_String_Name ("samv71_freertos");
       Platform_AIR_IOP_Name          := Get_String_Name ("air_iop");
 
       Transport_BSD_Sockets_Name := Get_String_Name ("bsd_sockets");

src/backends/ocarina-backends-properties.ads

@@ -573,6 +573,7 @@ package Ocarina.Backends.Properties is
       Platform_RPI,   -- For RPi xcompilation.
       Platform_MSP430_FREERTOS,
       Platform_GENERIC_LINUX,
+      Platform_SAMV71_FREERTOS,
       Platform_AIR_IOP,
       Platform_None); --  Unspecified
 

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

@@ -2412,6 +2412,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
                     Platform_RPI                    |
                     Platform_MSP430_FREERTOS        |
                     Platform_GENERIC_LINUX          |
+                    Platform_SAMV71_FREERTOS        |
                     Platform_LINUX32_XENOMAI_NATIVE |
                     Platform_Native_Compcert        |
                     Platform_LINUX32_XENOMAI_POSIX  |

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

@@ -256,6 +256,9 @@ package body Ocarina.Backends.PO_HI_C is
          when Platform_GENERIC_LINUX =>
             Write_Str ("generic_linux");
 
+         when Platform_SAMV71_FREERTOS =>
+            Write_Str ("samv71_freertos");
+
          when others =>
             Display_Error
               ("Unsupported platform " & Execution_Platform'Img,