configs: Add build recipe for a Vanadium IGVM file

Add a build recipe for IGVM files usable by the Vanadium hypervisor.

Signed-off-by: Joerg Roedel <[email protected]>

configs/vanadium-target.json

@@ -0,0 +1,33 @@
+{
+    "igvm": {
+        "output": "coconut-vanadium.igvm",
+        "target": "vanadium",
+        "platforms": ["snp", "tdp"],
+        "policy": "0x30000",
+	"measure": "print",
+	"check-kvm": true,
+	"measure-native-zeroes": true
+    },
+
+    "kernel": {
+        "tdx-stage1": {
+            "type": "make",
+            "file": "bin/stage1-trampoline",
+            "objcopy": "binary"
+        },
+        "stage2" : {
+            "manifest": "kernel/Cargo.toml",
+            "features": "default",
+            "binary":true,
+            "objcopy": "binary"
+        },
+        "svsm" : {
+            "features": "mstpm",
+            "binary":true
+        }
+    },
+
+    "firmware": {
+        "env": "FW_FILE"
+    }
+}