policy: operation of svn should be greater-or-equal

gaojiaqi7 · jyao1 · commit 68be66b76659 · 2024-09-24T13:35:15.000+08:00
Signed-off-by: Jiaqi Gao &lt;jiaqi.gao@intel.com&gt;
diff --git a/config/policy_pre_production_fmspc.json b/config/policy_pre_production_fmspc.json
@@ -1285,7 +1285,7 @@
                         "reference": 2
                     },
                     "ISVSVN": {
-                        "operation": "equal",
+                        "operation": "greater-or-equal",
                         "reference": 0
                     },
                     "MISCSELECT": {
@@ -1315,7 +1315,7 @@
                         "reference": 2
                     },
                     "TDXModuleSVN": {
-                        "operation": "equal",
+                        "operation": "greater-or-equal",
                         "reference": 0
                     }
                 }
@@ -1337,7 +1337,7 @@
                         "reference": 3
                     },
                     "TDXModuleSVN": {
-                        "operation": "equal",
+                        "operation": "greater-or-equal",
                         "reference": 0
                     }
                 }
@@ -1359,7 +1359,7 @@
                         "reference": 1
                     },
                     "TDXModuleSVN": {
-                        "operation": "equal",
+                        "operation": "greater-or-equal",
                         "reference": 0
                     }
                 }
diff --git a/config/policy_production_fmspc.json b/config/policy_production_fmspc.json
@@ -967,7 +967,7 @@
                         "reference": 2
                     },
                     "ISVSVN": {
-                        "operation": "equal",
+                        "operation": "greater-or-equal",
                         "reference": 4
                     },
                     "MISCSELECT": {
@@ -997,7 +997,7 @@
                         "reference": 3
                     },
                     "TDXModuleSVN": {
-                        "operation": "equal",
+                        "operation": "greater-or-equal",
                         "reference": 2
                     }
                 }
@@ -1019,7 +1019,7 @@
                         "reference": 1
                     },
                     "TDXModuleSVN": {
-                        "operation": "equal",
+                        "operation": "greater-or-equal",
                         "reference": 4
                     }
                 }
diff --git a/tools/migtd-policy-generator/src/policy.rs b/tools/migtd-policy-generator/src/policy.rs
@@ -162,7 +162,7 @@ impl QePolicy {
                         reference: Reference::Integer(isvprodid),
                     },
                     isvsvn: Property {
-                        operation: "equal".to_string(),
+                        operation: "greater-or-equal".to_string(),
                         reference: Reference::Integer(isvsvn),
                     },
                 },
@@ -262,7 +262,7 @@ impl TdxModulePolicy {
                                     reference: Reference::Integer(id),
                                 },
                                 tdx_module_svn: Property {
-                                    operation: "equal".to_string(),
+                                    operation: "greater-or-equal".to_string(),
                                     reference: Reference::Integer(
                                         tdx_module.tcb_levels[0].tcb.isvsvn,
                                     ),

Original file line number	Diff line number	Diff line change
`@@ -1285,7 +1285,7 @@`
`1285`	`1285`	`"reference": 2`
`1286`	`1286`	`},`
`1287`	`1287`	`"ISVSVN": {`
`1288`		`- "operation": "equal",`
	`1288`	`+ "operation": "greater-or-equal",`
`1289`	`1289`	`"reference": 0`
`1290`	`1290`	`},`
`1291`	`1291`	`"MISCSELECT": {`
`@@ -1315,7 +1315,7 @@`
`1315`	`1315`	`"reference": 2`
`1316`	`1316`	`},`
`1317`	`1317`	`"TDXModuleSVN": {`
`1318`		`- "operation": "equal",`
	`1318`	`+ "operation": "greater-or-equal",`
`1319`	`1319`	`"reference": 0`
`1320`	`1320`	`}`
`1321`	`1321`	`}`
`@@ -1337,7 +1337,7 @@`
`1337`	`1337`	`"reference": 3`
`1338`	`1338`	`},`
`1339`	`1339`	`"TDXModuleSVN": {`
`1340`		`- "operation": "equal",`
	`1340`	`+ "operation": "greater-or-equal",`
`1341`	`1341`	`"reference": 0`
`1342`	`1342`	`}`
`1343`	`1343`	`}`
`@@ -1359,7 +1359,7 @@`
`1359`	`1359`	`"reference": 1`
`1360`	`1360`	`},`
`1361`	`1361`	`"TDXModuleSVN": {`
`1362`		`- "operation": "equal",`
	`1362`	`+ "operation": "greater-or-equal",`
`1363`	`1363`	`"reference": 0`
`1364`	`1364`	`}`
`1365`	`1365`	`}`