{
    "$schema": "http://json-schema.org/schema#",
    "title": "Schema for tee manager configuration",
    "definitions": {
        "uuid": {
            "type": "string",
            "pattern": "^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$"
        }
    },
    "type": "object",
    "properties": {
        "application_uuids": {
            "type": "array",
            "items": {
                "$ref": "#/definitions/uuid"
            }
        }
    },
    "required": [
        "application_uuids"
    ],
    "additionalProperties": false
}