From 7bf25a9d0d0a88596918bea20e807006aaa91cb9 Mon Sep 17 00:00:00 2001
From: Kunhui-Li <kunhuix.li@intel.com>
Date: Tue, 2 Nov 2021 11:02:52 +0800
Subject: [PATCH] config_tools: add assert to check if the scenario is valid

Add assert for below invalid scenario:

1. Two or more pre-launched RTVM
2. One pre-launched RTVM and one or more post-launched RTVM

Tracked-On: #6685
Signed-off-by: Kunhui-Li <kunhuix.li@intel.com>
---
 .../schema/checks/pre_launched_vm_support.xsd    | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

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 2fb11d111..cc9a9fbe3 100644
--- a/misc/config_tools/schema/checks/pre_launched_vm_support.xsd
+++ b/misc/config_tools/schema/checks/pre_launched_vm_support.xsd
@@ -52,4 +52,20 @@ https://github.com/projectacrn/acrn-hypervisor/issues if you meet this.</xs:docu
     </xs:annotation>
   </xs:assert>
 
+  <xs:assert test="(count(vm[vm_type = 'PRE_RT_VM']) = 1 and count(vm[vm_type='POST_RT_VM']) = 0)
+                   or (count(vm[vm_type='PRE_RT_VM']) = 0 and count(vm[vm_type='POST_RT_VM']) &gt;= 0)">
+    <xs:annotation acrn:severity="error">
+      <xs:documentation>There should not be both pre-launched RTVM and post-launched RTVM.
+And two or more pre-launched RTVM are not allowed.
+
+This assertion checks below invalid scenario:
+
+- Two or more pre-launched RTVM
+- One pre-launched RTVM and one or more post-launched RTVM
+
+To fix this error, please check the RTVM number to ensure the scenario configuration is valid.</xs:documentation>
+
+    </xs:annotation>
+  </xs:assert>
+
 </xs:schema>