{ "additionalProperties": false, "id": "NodeGrubProperties", "properties": { "timeout": { "maximum": 2147483647, "minimum": 0, "title": "GRUB menu timeout value in seconds", "type": "integer" }, "users": { "items": { "$ref": "NodeGrubUserProperties }, "title": "List of node GRUB user properties", "type": "array" } }, "title": "Node GRUB properties", "type": "object" }