resources/deployment.aadl

@@ -42,6 +42,7 @@ property set Deployment is
     WIN32,                    -- WIN32
     VXWORKS,                  -- VXWORKS
     FREERTOS,                 -- FREERTOS
+    MSP430_FREERTOS,          -- MSP430 board with FreeRTOS
     AIR                       -- AIR Hypervisor, by GMV
     );
   --  Supported platforms

src/backends/ocarina-backends-properties.adb

@@ -333,6 +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_MSP430_FREERTOS_Name        : Name_Id;
 
    Transport_BSD_Sockets_Name : Name_Id;
    Transport_SpaceWire_Name   : Name_Id;
@@ -2512,6 +2513,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_MSP430_FREERTOS_Name then
+            return Platform_MSP430_FREERTOS;
          else
             return Platform_None;
          end if;
@@ -3078,6 +3081,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_MSP430_FREERTOS_Name  := Get_String_Name ("msp430_freertos");
 
       Transport_BSD_Sockets_Name := Get_String_Name ("bsd_sockets");
       Transport_SpaceWire_Name   := Get_String_Name ("spacewire");

src/backends/ocarina-backends-properties.ads

@@ -567,6 +567,7 @@ package Ocarina.Backends.Properties is
       Platform_VxWorks,
       Platform_GNAT_Runtime,
       Platform_AIR,
+      Platform_MSP430_FREERTOS,
       Platform_None); --  Unspecified
 
    function Get_Execution_Platform

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

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

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

@@ -237,6 +237,9 @@ package body Ocarina.Backends.PO_HI_C is
          when Platform_AIR =>
             Write_Str ("air");
 
+         when Platform_MSP430_FREERTOS =>
+            Write_Str ("msp430_freertos");
+
          when others =>
             Display_Error
               ("Unsupported platform " & Execution_Platform'Img,