update configuration generator

src/backends/ocarina-backends-deos_conf-mapping.adb

@@ -141,6 +141,10 @@ package body Ocarina.Backends.Deos_Conf.Mapping is
 
       Root := Make_XML_Node ("Deos653Config");
 
+      XTU.Add_Attribute ("validityKey", "0000", Root);
+      XTU.Add_Attribute ("toolVersion", "1.10.2", Root);
+      XTU.Add_Attribute ("hmShutdownHyperstartIndex", "2", Root);
+      XTU.Add_Attribute ("minimumWindowDurationInNs", "100000", Root);
       XTU.Add_Attribute ("hmShutdownRegistry", "platreg.bin", Root);
       XTU.Add_Attribute ("xsi.schemaLocation", "deos653.xsd", Root);
       XTU.Add_Attribute ("xmlns:xsi",
@@ -959,16 +963,4 @@ package body Ocarina.Backends.Deos_Conf.Mapping is
       return Module_HM;
    end Map_Processor_HM_Table;
 
-   ----------------------------
-   -- Map_System_HM_Table --
-   ----------------------------
-
-   function Map_System_HM_Table (System : Node_Id) return Node_Id is
-      System_HM : Node_Id;
-      pragma Unreferenced (System);
-   begin
-      System_HM := Make_XML_Node ("System_HM_Table");
-      return System_HM;
-   end Map_System_HM_Table;
-
 end Ocarina.Backends.Deos_Conf.Mapping;

src/backends/ocarina-backends-deos_conf-mapping.ads

@@ -32,6 +32,4 @@ package Ocarina.Backends.Deos_Conf.Mapping is
 
    function Map_Processor_HM_Table (Processor : Node_Id) return Node_Id;
 
-   function Map_System_HM_Table (System : Node_Id) return Node_Id;
-
 end Ocarina.Backends.Deos_Conf.Mapping;

src/backends/ocarina-backends-deos_conf-partitions.adb

@@ -7,7 +7,7 @@ with Ocarina.ME_AADL.AADL_Instances.Entities;
 --  with Ocarina.Backends.Properties;
 with Ocarina.Backends.XML_Tree.Nodes;
 with Ocarina.Backends.XML_Tree.Nutils;
-with Ocarina.Backends.Deos_Conf.Mapping;
+--  with Ocarina.Backends.Deos_Conf.Mapping;
 
 package body Ocarina.Backends.Deos_Conf.Partitions is
 
@@ -17,7 +17,7 @@ package body Ocarina.Backends.Deos_Conf.Partitions is
    use Ocarina.ME_AADL.AADL_Instances.Entities;
    use Ocarina.Backends.XML_Tree.Nutils;
 --   use Ocarina.Backends.Properties;
-   use Ocarina.Backends.Deos_Conf.Mapping;
+--   use Ocarina.Backends.Deos_Conf.Mapping;
 
    package AINU renames Ocarina.ME_AADL.AADL_Instances.Nutils;
    package XTN renames Ocarina.Backends.XML_Tree.Nodes;
@@ -152,7 +152,7 @@ package body Ocarina.Backends.Deos_Conf.Partitions is
       Current_XML_Node := XTN.Root_Node (XTN.XML_File (U));
 
       Append_Node_To_List
-        (Map_System_HM_Table (E),
+        (Make_XML_Node ("Partitions"),
          XTN.Subitems (Current_XML_Node));
 
       if not AINU.Is_Empty (Subcomponents (E)) then