From patchwork Fri Oct 5 16:58:20 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Rob Herring X-Patchwork-Id: 148235 Delivered-To: patch@linaro.org Received: by 2002:a2e:8595:0:0:0:0:0 with SMTP id b21-v6csp688946lji; Fri, 5 Oct 2018 09:59:07 -0700 (PDT) X-Google-Smtp-Source: ACcGV63PdIMyPTH6Oeg0vGoRTxQZZYRswcpYsGYJjwpFFnP9ICXzJg7yFesDHwtBXrfgwtEXAyE+ X-Received: by 2002:a62:3001:: with SMTP id w1-v6mr12793345pfw.19.1538758747296; Fri, 05 Oct 2018 09:59:07 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1538758747; cv=none; d=google.com; s=arc-20160816; b=X/dF2dbld7TaRuZNE1AQALD2Op0uV4VOz+yVKAK90t+sEg0RyaLUj3HM5g8mrjfxYL rb79PKf8covA09dmWmasKboEoh3OKgvy63QvVXnaAc7DUHcEkQc3OeH/0Ft7ThUbTzYA YPwu1XJz6JvRVUSRnJVZaIP8wOt8Qv5ndyNfQ3aTWZly889pl+E6v1NyacRYCD9As0QT tPPcJ5sHjIeLgwpu1tIhcgQ5LcBsKxHD2U/cqwIoHVwNLgPSl3y4q1cQH/57kBvd+qF/ AqUvnXxx1+Uzvy0yFsl5NdJVVHiHb9cn6i3RPF5ytWDV35EEdFnE+e9OYUClowOGpkI+ 9V/w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:references:in-reply-to:message-id:date :subject:cc:to:from; bh=x2mzVRPujteGexchx9lGyCag4aIXbmkmqEcveyWYS/I=; b=moOmhSmmNshLO0EUYw3+X8v4bQZ2Cr2VVD7+KN2mHVVqIFojPRR99u2fRAk6TzgaOB 4lB6weeQhzTIFCCHpDWDqHnjEJostQmK3r4pdnCA0FINPy9tLeAJRgESlZOeYQtswq7o /Kuc18L69O9IFm7Vej2wsAFB6DsUodv2HcWabO0xbdwM6ruaRRAwoXWHNFal8G7GfTsH rFbVREiQjiU417/Wq5xxpiB2KYeeSafpk/LqWGjgBTfZCooHmKd8UJ93a6bACENmn/rm H4vHt8D5Xz0fy34JgrF6Rkd6uMATaJxqn1AsuRE1hksmz4/uH6b9ZtsBtacHAz1zmA6k KS6Q== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id o4-v6si9293588pll.431.2018.10.05.09.59.06; Fri, 05 Oct 2018 09:59:07 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729136AbeJEX6i (ORCPT + 32 others); Fri, 5 Oct 2018 19:58:38 -0400 Received: from mail-oi1-f195.google.com ([209.85.167.195]:45354 "EHLO mail-oi1-f195.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1729025AbeJEX6h (ORCPT ); Fri, 5 Oct 2018 19:58:37 -0400 Received: by mail-oi1-f195.google.com with SMTP id e17-v6so10927196oig.12; Fri, 05 Oct 2018 09:59:02 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references; bh=x2mzVRPujteGexchx9lGyCag4aIXbmkmqEcveyWYS/I=; b=i0qLHyY3oZNzPIiE/vTK5vskJoCU5N68XXqbQcDsw+X/v+arSRiwOLxT6MqP4aTbe8 Ov9s83EY7nxGowHWHy3/HYendCLdMHpJVS3g4xkA7YCSl9CySDOyqua20QIy8U0ZRluK EWjzI7EStBUlPQ11sRPMjzuc3nXhwS9NBIOghFremJJYVKwIB5Qo2DJR7hKulf2hwoj7 mpRdwXExw4+agXcwLoeekCCdHA/h+bKNqWgqzoSGNqIKHDM/wbHzS78DMBre3fFliIzb QH0TH8128+zTMebf5iTtRyzRAJKhG0P2mUIFzrkZeYU6nNuvGj5OY3MuetAkN2zCisS9 GkwQ== X-Gm-Message-State: ABuFfoj0eXAFOurAspaMslqRCldyYjo1MBQ3O/YCNYMJtAPTkj1rl1lB RyFBZ53Qt8yMAQC5J2AlZDsAPEeSsA== X-Received: by 2002:aca:ce07:: with SMTP id e7-v6mr6050227oig.54.1538758741325; Fri, 05 Oct 2018 09:59:01 -0700 (PDT) Received: from xps15.herring.priv (24-155-109-49.dyn.grandenetworks.net. [24.155.109.49]) by smtp.googlemail.com with ESMTPSA id u63-v6sm2904328ota.75.2018.10.05.09.59.00 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 05 Oct 2018 09:59:00 -0700 (PDT) From: Rob Herring To: linux-kernel@vger.kernel.org, devicetree@vger.kernel.org, linux-arm-kernel@lists.infradead.org, linuxppc-dev@lists.ozlabs.org Cc: Grant Likely , Kumar Gala , Frank Rowand , Mark Rutland , Linus Walleij , Olof Johansson , Arnd Bergmann , Mark Brown , Tom Rini , Pantelis Antoniou , Geert Uytterhoeven , Jonathan Cameron , Bjorn Andersson Subject: [PATCH 08/36] dt-bindings: Add a writing DT schemas how-to and annotated example Date: Fri, 5 Oct 2018 11:58:20 -0500 Message-Id: <20181005165848.3474-9-robh@kernel.org> X-Mailer: git-send-email 2.17.1 In-Reply-To: <20181005165848.3474-1-robh@kernel.org> References: <20181005165848.3474-1-robh@kernel.org> Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Add a how-to doc on writing DT schema documentation. This gives a description of each section and details on how to validate the DT schema file. The DT schema are written using json-schema vocabulary in a YAML encoded document. Using jsonschema gives us access to existing tooling. A YAML encoding gives us something easy to edit. The example is annotated to help explain what each section does. This example is just the tip of the iceberg, but is it the part most developers writing bindings will interact with. Backing all this up are meta-schema (to validate the binding schemas), some DT core schema, YAML encoded DT output with dtc, and a small number of python scripts to run validation. Cc: Mark Rutland Cc: devicetree@vger.kernel.org Signed-off-by: Rob Herring --- .../devicetree/bindings/example-schema.yaml | 155 ++++++++++++++++++ Documentation/devicetree/writing-schema.md | 111 +++++++++++++ 2 files changed, 266 insertions(+) create mode 100644 Documentation/devicetree/bindings/example-schema.yaml create mode 100644 Documentation/devicetree/writing-schema.md -- 2.17.1 diff --git a/Documentation/devicetree/bindings/example-schema.yaml b/Documentation/devicetree/bindings/example-schema.yaml new file mode 100644 index 000000000000..4cbdbf59695f --- /dev/null +++ b/Documentation/devicetree/bindings/example-schema.yaml @@ -0,0 +1,155 @@ +# SPDX-License-Identifier: BSD-2-Clause +# Copyright 2018 Linaro Ltd. +%YAML 1.2 +--- +# All the top-level keys are standard json-schema keywords except for +# 'maintainers' and 'select' + +# $id is a unique idenifier based on the filename +$id: "http://devicetree.org/schemas/example-schema.yaml#" +$schema: "http://devicetree.org/meta-schemas/core.yaml#" + +title: An example schema annotated with jsonschema details + +maintainers: + - Rob Herring + +description: | + A more detailed multi-line description of the binding. + + Details about the hardware device and any links to datasheets can go here. + + Literal blocks are marked with the '|' at the beginning. The end is marked by + indentation less than the first line of the literal block. + +select: false + # 'select' is a schema applied to a DT node to determine if this binding + # schema should be applied to the node. It is optional and by default the + # possible compatible strings are extracted and used to match. + +properties: + # A dictionary of DT properties for this binding schema + compatible: + # More complicated schema can use oneOf (XOR), anyOf (OR), or allOf (AND) + # to handle different conditions. + # In this case, it's needed to handle a variable number of values as there + # isn't another way to express a constraint of the last string value. + # The boolean schema must be a list of schemas. + oneOf: + - items: + # items is a list of possible values for the property. The number of + # values is determined by the number of elements in the list. + # Order in lists is significant, order in dicts is not + # Must be one of the 1st enums followed by the 2nd enum + # + # Each element in items should be 'enum' or 'const' + - enum: + - vendor,soc4-ip + - vendor,soc3-ip + - vendor,soc2-ip + - enum: + - vendor,soc1-ip + # additionalItems being false is implied + # minItems/maxItems equal to 2 is implied + - items: + # 'const' is just a special case of an enum with a single possible value + - const: vendor,soc1-ip + + reg: + # The description of each element defines the order and implicitly defines + # the number of reg entries + items: + - description: core registers + - description: aux registers + # minItems/maxItems equal to 2 is implied + + reg-names: + # The core schema enforces this is a string array + items: + - const: core + - const: aux + + clocks: + maxItems: 1 + # Only a single entry, so just need to set the max number of items. + description: hello + + clock-names: + items: + - const: bus + + interrupts: + # Either 1 or 2 interrupts can be present + minItems: 1 + maxItems: 2 + items: + - description: tx or combined interrupt + - description: rx interrupt + + description: + A variable number of interrupts warrants a description of what conditions + affect the number of interrupts. Otherwise, descriptions on standard + properties are not necessary. + + interrupt-names: + # minItems must be specified here because the default would be 2 + minItems: 1 + maxItems: 2 + items: + - const: "tx irq" + - const: "rx irq" + + # Property names starting with '#' must be quoted + '#interrupt-cells': + # A simple case where the value must always be '2'. + # The core schema handles that this must be a single integer. + const: 2 + + interrupt-controller: true + # The core checks this is a boolean, so just have to list it here to be + # valid for this binding. + + clock-frequency: + # The type is set in the core schema. Per device schema only need to set + # constraints on the possible values. + minimum: 100 + maximum: 400000 + # The value that should be used if the property is not present + default: 200 + + foo-gpios: + maxItems: 1 + description: A connection of the 'foo' gpio line. + + vendor,int-property: + description: Vendor specific properties must have a description + allOf: + - $ref: "/schemas/types.yaml#/definitions/uint32" + - enum: [2, 4, 6, 8, 10] + + vendor,bool-property: + description: Vendor specific properties must have a description + type: boolean + + vendor,string-array-property: + description: Vendor specific properties may refer to core schema + allOf: + - $ref: '/schemas/types.yaml#/definitions/stringarray' + - maxItems: 2 + +required: + - compatible + - reg + - interrupts + - interrupt-controller + +examples: + - | + node@1000 { + compatible = "vendor,soc4-ip", "vendor,soc1-ip"; + reg = <0x1000 0x80>, + <0x3000 0x80>; + reg-names = "core", "aux"; + interrupts = <10>; + interrupt-controller; + }; diff --git a/Documentation/devicetree/writing-schema.md b/Documentation/devicetree/writing-schema.md new file mode 100644 index 000000000000..b1d9798ca3e4 --- /dev/null +++ b/Documentation/devicetree/writing-schema.md @@ -0,0 +1,111 @@ +# Writing DeviceTree Bindings in json-schema + +Devicetree bindings are written using json-schema vocabulary. Schema files are +written in a JSON compatible subset of YAML. YAML is used instead of JSON as it +considered more human readable and has some advantages such as allowing +comments (Prefixed with '#'). + +## Schema Contents + +Each schema doc is a structured json-schema which is defined by a set of +top-level properties: + +- __$id__ - A json-schema unique identifier string. The string must be a valid +URI typically containing the binding's filename and path. DT schema it must +begin with "http://devicetree.org/schema/". The URL is used for non file local +"$ref" lookups. A URL is used even for local files, and there may not actually +be files present at those locations. + +- __$schema__ - Indicates the meta-schema the schema file adheres to. + +- __title__ - A one line description on the contents of the binding schema. + +- __maintainers__ - A DT specific property. Contains a list of email address(es) +for maintainers of this binding. + +- __description__ - Optional. A multi-line text block containing any detailed +information about this binding. It should contain things such as what the block +or device does, standards the device conforms to, and links to datasheets for +more information. + +- __select__ - Optional. A json-schema to match nodes for applying the schema. +By default, nodes are matched against their possible compatible string values +or node name and select is not necessary. + +- __properties__ - A set of sub-schema defining all the DT properties for the +binding. The exact schema depends on the type of property. A property can also +define a child DT node with child properties defined under it. + +- __patternProperties__ - Optional. Similar to 'properties', but names are regex. + +- __required__ - A list of DT properties from the 'properties' section that +must always be present. + +- __examples__ - Optional. A list of one or more DTS hunks implementing the +binding. + +Unless noted otherwise, all properties are required. + +## Property Schema + +The 'properties' section of the schema contains all the DT properties for a +binding. Each property contains a set of constraints using json-schema +vocabulary for that property. The properties schemas are what is used for +validation of DT files. + +For common properties, only additional constraints not covered by the common +binding schema need to be defined such as how many values are valid or what +possible values are valid. + +Vendor specific properties will typically need more detailed schema. With the +exception of boolean properties, they should have a reference to a type in +schemas/types.yaml. A "description" property is always required. + +The Devicetree schemas don't exactly match the YAML encoded DT data produced by +dtc. They are simplified to make them more compact and avoid a bunch of +boilerplate. The tools process the schema files to produce the final schema for +validation. There are currently 2 transformations the tools perform. + +The default for arrays in json-schema is they are variable sized and allow more +entries than explicitly defined. This can be restricted by defining 'minItems', +'maxItems', and 'additionalItems'. However, for DeviceTree Schemas, a fixed +size is desired in most cases, so these properties are added based on the +number of entries in an 'items' list. + +The YAML Devicetree format also makes all string values an array and scalar +values a matrix (in order to define groupings) even when only a single value +is present. Single entries in schemas are fixed up to match this encoding. + +## Testing + +### Dependencies + +The DT schema project must be installed in order to validate the DT schema +binding documents and validate DTS files using the DT schema. The DT schema +project can be installed with pip: + +`pip3 install git+https://github.com/robherring/yaml-bindings.git@master --process-dependency-links` + +dtc must also be built with YAML output support enabled. This requires that +libyaml and its headers be installed on the host system. + +### Running checks + +The DT schema binding documents must be validated using the meta-schema (the +schema for the schema) to ensure they are both valid json-schema and valid +binding schema. All of the DT binding documents can be validated using the +`dt_binding_check` target: + +`make dt_binding_check` + +In order to perform validation of DT source files, use the `dtbs_check` target: + +`make dtbs_check` + +This will first run the `dt_binding_check` which generates the processed schema. + +## json-schema Resources + +[JSON-Schema Specifications](http://json-schema.org/) + +[Using JSON Schema Book](http://usingjsonschema.com/)