NodeGrubProperties (type)

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