NEW: Support for the new POK BSP x86_qemu_vmm

resources/AADLv2/pok_properties.aadl

@@ -73,6 +73,7 @@ property set POK is
   Available_BSP : type enumeration
   (
       x86_qemu,
+      x86_qemu_vmm,
       prep,
       leon3
   );

src/backends/ocarina-backends-pok_c-makefile.adb

@@ -658,6 +658,8 @@ package body Ocarina.Backends.POK_C.Makefile is
       case BSP is
          when POK_BSP_x86_qemu =>
             Write_Line ("export BSP=x86-qemu");
+         when POK_BSP_x86_qemu_vmm =>
+            Write_Line ("export BSP=x86-qemu-vmm");
          when POK_BSP_Leon =>
             Write_Line ("export BSP=leon3");
          when POK_BSP_prep =>

src/backends/ocarina-backends-properties.adb

@@ -366,6 +366,7 @@ package body Ocarina.Backends.Properties is
 
    POK_Arch_x86_Name                : Name_Id;
    POK_BSP_x86_qemu_Name            : Name_Id;
+   POK_BSP_x86_qemu_vmm_Name        : Name_Id;
    POK_Arch_Sparc_Name              : Name_Id;
    POK_BSP_Leon_Name                : Name_Id;
    POK_Arch_ppc_Name                : Name_Id;
@@ -3485,6 +3486,7 @@ package body Ocarina.Backends.Properties is
 
       POK_Arch_x86_Name          := Get_String_Name ("x86");
       POK_BSP_x86_qemu_Name      := Get_String_Name ("x86_qemu");
+      POK_BSP_x86_qemu_vmm_Name  := Get_String_Name ("x86_qemu_vmm");
       POK_Arch_Sparc_Name        := Get_String_Name ("sparc");
       POK_BSP_Leon_Name          := Get_String_Name ("leon3");
       POK_Arch_ppc_Name          := Get_String_Name ("ppc");
@@ -3631,6 +3633,8 @@ package body Ocarina.Backends.Properties is
 
          if P_Name = POK_BSP_x86_qemu_Name then
             return POK_BSP_x86_qemu;
+         elsif P_Name = POK_BSP_x86_qemu_vmm_Name then
+            return POK_BSP_x86_qemu_vmm;
          elsif P_Name = POK_BSP_prep_Name then
             return POK_BSP_prep;
          elsif P_Name = POK_BSP_Leon_Name then

src/backends/ocarina-backends-properties.ads

@@ -116,6 +116,7 @@ package Ocarina.Backends.Properties is
 
    type Supported_POK_BSP is
      (POK_BSP_x86_qemu,
+      POK_BSP_x86_qemu_vmm,
       POK_BSP_Leon,
       POK_BSP_prep,
       Invalid_BSP);