{
  "$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
}