src/tee/TESTING.json5

{
    coverage: {
        category: "Microfuchsia",
        subcategory: "TEE",
    },
}