diff --git a/misc/config_tools/static_allocators/guest_flags.py b/misc/config_tools/static_allocators/guest_flags.py index 24f30d207..79cd6e5d9 100644 --- a/misc/config_tools/static_allocators/guest_flags.py +++ b/misc/config_tools/static_allocators/guest_flags.py @@ -22,7 +22,7 @@ policies = [ GuestFlagPolicy(".//nested_virtualization_support = 'y'", "GUEST_FLAG_NVMX_ENABLED"), GuestFlagPolicy(".//security_vm = 'y'", "GUEST_FLAG_SECURITY_VM"), GuestFlagPolicy(".//vm_type = 'RTVM'", "GUEST_FLAG_RT"), - GuestFlagPolicy(".//vm_type = 'RTVM' and .//load_order = 'PRE_LAUNCHED_VM'", "GUEST_FLAG_PMU_PASSTHROUGH"), + GuestFlagPolicy(".//vm_type = 'RTVM' and .//load_order = 'PRE_LAUNCHED_VM' and //hv/BUILD_TYPE= 'debug'", "GUEST_FLAG_PMU_PASSTHROUGH"), GuestFlagPolicy(".//vm_type = 'TEE_VM'", "GUEST_FLAG_TEE"), GuestFlagPolicy(".//vm_type = 'REE_VM'", "GUEST_FLAG_REE"), ]