Merge branch 'feature-generic-linux_runtime' into 'feature_buster'

Generic linux runtime

See merge request !4

resources/deployment.aadl

@@ -48,7 +48,8 @@ property set Deployment is
     AIR_IOP,                  -- AIR IOP partition
     ZYNQZC706_RTEMS,          -- Zynq support, for CoRA-MBAD
     ZYNQ_RTEMS_QEMU,          -- Zynq support, for CoRA-MBAD, for QEMU
-    MSP430_FREERTOS           -- MSP430 board with FreeRTOS
+    MSP430_FREERTOS,          -- MSP430 board with FreeRTOS
+    GENERIC_LINUX         -- Linux generic
     );
   --  Supported platforms
 

src/backends/ocarina-backends-properties.adb

@@ -338,6 +338,7 @@ package body Ocarina.Backends.Properties is
    Platform_ZynqZC706_RTEMS_Name        : Name_Id;
    Platform_Zynq_RTEMS_QEMU_Name        : Name_Id;
    Platform_MSP430_FREERTOS_Name        : Name_Id;
+   Platform_GENERIC_LINUX_Name          : Name_Id;
    Platform_AIR_IOP_Name                : Name_Id;
 
    Transport_BSD_Sockets_Name : Name_Id;
@@ -2550,6 +2551,8 @@ package body Ocarina.Backends.Properties is
             return Platform_Zynq_QEMU;
          elsif P_Name = Platform_MSP430_FREERTOS_Name then
             return Platform_MSP430_FREERTOS;
+         elsif P_Name = Platform_GENERIC_LINUX_Name then
+            return Platform_GENERIC_LINUX;
          elsif P_Name = Platform_AIR_IOP_Name then
             return Platform_AIR_IOP;
          else
@@ -3122,6 +3125,7 @@ package body Ocarina.Backends.Properties is
       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");
+      Platform_GENERIC_LINUX_Name    := Get_String_Name ("generic_linux");
       Platform_AIR_IOP_Name          := Get_String_Name ("air_iop");
 
       Transport_BSD_Sockets_Name := Get_String_Name ("bsd_sockets");

src/backends/ocarina-backends-properties.ads

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

src/backends/po_hi_ada/ocarina-backends-po_hi_ada.adb

@@ -175,6 +175,7 @@ package body Ocarina.Backends.PO_HI_Ada is
            Platform_LINUX32   |
            Platform_LINUX64   |
            Platform_WIN32     |
+           Platform_GENERIC_LINUX |
            Platform_None      =>
             Change_If_Empty (String_Ptr (Target_Prefix), "");
             Target := new String'("NATIVE");

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

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

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

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