From e83c9b6430362092fac2abd200b267524336669e Mon Sep 17 00:00:00 2001 From: hangliu1 Date: Tue, 8 Mar 2022 04:04:07 -0500 Subject: [PATCH] config tool: Fix tee guest flag Fix tee guest flag Tracked-On:#6690 Signed-off-by: hangliu1 --- misc/config_tools/static_allocators/guest_flags.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/misc/config_tools/static_allocators/guest_flags.py b/misc/config_tools/static_allocators/guest_flags.py index f02eb26b3..71939493b 100644 --- a/misc/config_tools/static_allocators/guest_flags.py +++ b/misc/config_tools/static_allocators/guest_flags.py @@ -22,8 +22,8 @@ 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 = 'TEE'", "GUEST_FLAG_TEE"), - GuestFlagPolicy(".//vm_type = 'REE'", "GUEST_FLAG_REE"), + GuestFlagPolicy(".//vm_type = 'TEE_VM'", "GUEST_FLAG_TEE"), + GuestFlagPolicy(".//vm_type = 'REE_VM'", "GUEST_FLAG_REE"), ] def fn(board_etree, scenario_etree, allocation_etree):