resources/deployment.aadl

@@ -23,6 +23,7 @@ property set Deployment is
     Native_Compcert,          -- Native platforms using the Compcert compiler
     bench,                    -- Benchmark platform (native with instrumentation).
     GNAT_Runtime,             -- Use a GNAT Runtime, e.g. from the Ada_Drivers_Library
+    RPI,                      -- For RPi xcompilation.
     LEON_ORK,
     LEON_RTEMS,               -- LEON2 board or tsim-leon (RTEMS)
     LEON_RTEMS_POSIX,         -- LEON2 board or tsim-leon (RTEMS)
@@ -42,6 +43,7 @@ property set Deployment is
     WIN32,                    -- WIN32
     VXWORKS,                  -- VXWORKS
     FREERTOS,                 -- FREERTOS
+    MSP430_FREERTOS,          -- MSP430 board with FreeRTOS
     AIR,                      -- AIR Hypervisor, by GMV
     AIR_IOP,                  -- AIR IOP partition
     ZYNQZC706_RTEMS,          -- Zynq support, for CoRA-MBAD

src/backends/ocarina-backends-properties.adb

@@ -315,6 +315,7 @@ package body Ocarina.Backends.Properties is
    Platform_Native_Name                 : Name_Id;
    Platform_Bench_Name                  : Name_Id;
    Platform_Native_Compcert_Name        : Name_Id;
+   Platform_RPI_Name                    : Name_Id;
    Platform_LINUX32_Name                : Name_Id;
    Platform_Linux_DLL_Name              : Name_Id;
    Platform_Win32_Name                  : Name_Id;
@@ -2500,6 +2501,9 @@ package body Ocarina.Backends.Properties is
             return Platform_Native;
          elsif P_Name = Platform_Bench_Name then
             return Platform_Bench;
+
+         elsif P_Name = Platform_RPI_Name then
+            return Platform_RPI;
          elsif P_Name = Platform_Native_Compcert_Name then
             return Platform_Native_Compcert;
          elsif P_Name = Platform_LEON_RTEMS_POSIX_Name then
@@ -3093,6 +3097,7 @@ package body Ocarina.Backends.Properties is
       Platform_Native_Name              := Get_String_Name ("native");
       Platform_Bench_Name               := Get_String_Name ("bench");
       Platform_Native_Compcert_Name     := Get_String_Name ("native_compcert");
+      Platform_RPI_Name                 := Get_String_Name ("rpi");
       Platform_LINUX32_Name             := Get_String_Name ("linux32");
       Platform_LINUX_DLL_Name           := Get_String_Name ("linux_dll");
       Platform_Win32_Name               := Get_String_Name ("win32");

src/backends/ocarina-backends-properties.ads

@@ -570,6 +570,7 @@ package Ocarina.Backends.Properties is
       Platform_AIR,
       Platform_ZynqZC706,
       Platform_Zynq_QEMU,
+      Platform_RPI,   -- For RPi xcompilation.
       Platform_MSP430_FREERTOS,
       Platform_AIR_IOP,
       Platform_None); --  Unspecified

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

@@ -2409,6 +2409,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
                case Execution_Platform is
                   when Platform_Native              |
                     Platform_None                   |
+                    Platform_RPI                    |
                     Platform_MSP430_FREERTOS        |
                     Platform_LINUX32_XENOMAI_NATIVE |
                     Platform_Native_Compcert        |

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

@@ -235,6 +235,9 @@ package body Ocarina.Backends.PO_HI_C is
          when Platform_LINUX32_XENOMAI_POSIX =>
             Write_Str ("linux32-xenomai-posix");
 
+         when Platform_RPI =>
+            Write_Str ("rpi");
+
          when Platform_AIR =>
             Write_Str ("air");