NEW: RE_Pok_Needs_X86_Vmm; addit. feature x86_vmm

resources/AADLv2/pok_properties.aadl

@@ -111,7 +111,7 @@ property set POK is
 
   Additional_Features : list of POK::Supported_Additional_Features applies to (virtual processor, processor);
 
-  Supported_Additional_Features: type enumeration (libmath, libc_stdlib, libc_stdio, libc_string, io, pci, console, libc);
+  Supported_Additional_Features: type enumeration (libmath, libc_stdlib, libc_stdio, libc_string, io, pci, console, libc, x86_vmm);
 
   Des_Key : aadlstring applies to (virtual bus);
 

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

@@ -1224,6 +1224,32 @@ package body Ocarina.Backends.POK_C.Deployment is
 
                            Set_Deployment_Header;
                         end if;
+                        
+			if Get_Name_String
+                           (ATN.Name
+                              (ATN.Identifier (S))) = "x86_vmm"
+                        then
+                           CTU.Pop_Entity;
+                           CTU.Pop_Entity;
+
+                           Push_Entity (Kernel_Unit);
+                           Set_Deployment_Header;
+
+                           N := CTU.Make_Define_Statement
+                              (Defining_Identifier =>
+                                 RE (RE_Pok_Needs_X86_Vmm),
+                              Value => CTU.Make_Literal
+                                 (CV.New_Int_Value (1, 1, 10)));
+                           CTU.Append_Node_To_List
+                              (N, CTN.Declarations (CTU.Current_File));
+
+                           Pop_Entity;
+
+                           CTU.Push_Entity (P);
+                           CTU.Push_Entity (U);
+
+                           Set_Deployment_Header;
+                        end if;
 
                      S := ATN.Next_Node (S);
                   end loop;

src/backends/ocarina-backends-pok_c-runtime.ads

@@ -204,6 +204,7 @@ package Ocarina.Backends.POK_C.Runtime is
       RE_Pok_Needs_Ports_Virtual,        --  POK_NEEDS_PORTS_VIRTUAL
       RE_Pok_Needs_Gettick,              --  POK_NEEDS_GETTICK
       RE_Pok_Needs_Ports_Queueing,       --  POK_NEEDS_PORTS_QUEUEING
+      RE_Pok_Needs_X86_Vmm,		 --  POK_NEEDS_X86_VMM
       RE_Pok_Errno_Empty,                --  POK_ERRNO_EMPTY
       RE_Pok_Errno_Ok,                   --  POK_ERRNO_OK
       RE_Pok_Hw_Addr,                    --  POK_HW_ADDR
@@ -712,6 +713,7 @@ package Ocarina.Backends.POK_C.Runtime is
          RE_Pok_Needs_Ports_Virtual        => RH_Deployment,
          RE_Pok_Needs_Gettick              => RH_Null,
          RE_Pok_Needs_Ports_Queueing       => RH_Deployment,
+	 RE_Pok_Needs_X86_Vmm		   => RH_Deployment,
          RE_Pok_Errno_Empty                => RH_Errno,
          RE_Pok_Errno_Ok                   => RH_Errno,
          RE_Pok_Hw_Addr                    => RH_Deployment,