Skip to content

Commit

Permalink
config: fix format of policy_production_fmspc.json
Browse files Browse the repository at this point in the history 
Use array instead of string for reference of `sgxtcbcomponents`and
`tdxtcbcomponents`.

Signed-off-by: Jiaqi Gao <[email protected]>
  • Loading branch information
@gaojiaqi7
gaojiaqi7 committed Dec 26, 2023
1 parent 82a178d commit 07bb31c
Showing 1 changed file with 28 additions and 28 deletions.
56 changes: 28 additions & 28 deletions config/policy_production_fmspc.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[1, 1, 2, 2, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [1, 1, 2, 2, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -29,11 +29,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[6, 6, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [6, 6, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -48,11 +48,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[1, 1, 2, 2, 2, 255, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [1, 1, 2, 2, 2, 255, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -67,11 +67,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[1, 1, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [1, 1, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -86,11 +86,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[6, 6, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [6, 6, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -105,11 +105,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[2, 2, 2, 2, 2, 255, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [2, 2, 2, 2, 2, 255, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -124,11 +124,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[62, 62, 0, 0, 1, 255, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [62, 62, 0, 0, 1, 255, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -143,11 +143,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[1, 1, 2, 2, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [1, 1, 2, 2, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -162,11 +162,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[6, 6, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [6, 6, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -181,11 +181,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[1, 1, 2, 2, 2, 255, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [1, 1, 2, 2, 2, 255, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -200,11 +200,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[1, 1, 2, 2, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [1, 1, 2, 2, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -219,11 +219,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[6, 6, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [6, 6, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -238,11 +238,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[1, 1, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [1, 1, 2, 2, 3, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand All @@ -257,11 +257,11 @@
},
"sgxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[1, 1, 2, 2, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [1, 1, 2, 2, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0]
},
"tdxtcbcomponents": {
"operation": "array-greater-or-equal",
"reference": "[3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]"
"reference": [3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
}
}
},
Expand Down

0 comments on commit 07bb31c

Please sign in to comment.