diff --git a/misc/config_tools/schema/checks/pre_launched_vm_support.xsd b/misc/config_tools/schema/checks/pre_launched_vm_support.xsd index a31f8860e..2fb11d111 100644 --- a/misc/config_tools/schema/checks/pre_launched_vm_support.xsd +++ b/misc/config_tools/schema/checks/pre_launched_vm_support.xsd @@ -36,7 +36,7 @@ or little cores are assigned, but not both. - diff --git a/misc/config_tools/static_allocators/gpa.py b/misc/config_tools/static_allocators/gpa.py index 188c85a56..829763143 100644 --- a/misc/config_tools/static_allocators/gpa.py +++ b/misc/config_tools/static_allocators/gpa.py @@ -334,7 +334,7 @@ def allocate_pci_bar(board_etree, scenario_etree, allocation_etree): def allocate_ssram_region(board_etree, scenario_etree, allocation_etree): # Guest physical address of the SW SRAM allocated to a pre-launched VM - enabled = common.get_node("//PSRAM_ENABLED/text()", scenario_etree) + enabled = common.get_node("//SSRAM_ENABLED/text()", scenario_etree) if enabled == "y": pre_rt_vms = common.get_node("//vm[vm_type ='PRE_RT_VM']", scenario_etree) if pre_rt_vms is not None: