tools/sgpiom/schema/controller.schema.json

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://gpio-port.local/sgpiom/controller.schema.json",
  "title": "SGPIOM Controller",
  "type": "object",
  "required": ["name", "base_addr", "bus_frequency_hz", "ngpios", "enabled"],
  "properties": {
    "name": { "type": "string", "minLength": 1 },
    "base_addr": {
      "oneOf": [
        { "type": "integer", "minimum": 0, "maximum": 4294967295 },
        { "type": "string", "pattern": "^0x[0-9a-fA-F]{1,8}$" }
      ]
    },
    "bus_frequency_hz": { "type": "integer", "minimum": 0, "maximum": 4294967295 },
    "ngpios": { "type": "integer", "minimum": 1, "maximum": 128 },
    "enabled": { "type": "boolean" }
  },
  "additionalProperties": true
}