public inbox for linux-arm-kernel@lists.infradead.org 
 help / color / mirror / Atom feed
From: swarren@wwwdotorg•org (Stephen Warren)
To: linux-arm-kernel@lists•infradead.org
Subject: [RFC PATCH dtc] C-based DT schema checker integrated into dtc
Date: Fri, 25 Oct 2013 15:44:09 +0100	[thread overview]
Message-ID: <526A83B9.30800@wwwdotorg.org> (raw)
In-Reply-To: <20131024234340.ADF70C403B6@trevor.secretlab.ca>

On 10/25/2013 12:43 AM, Grant Likely wrote:
> On Thu, 24 Oct 2013 22:51:28 +0100, Stephen Warren <swarren@wwwdotorg•org> wrote:
>> From: Stephen Warren <swarren@nvidia•com>
>>
>> This is a very quick proof-of-concept re: how a DT schema checker might
>> look if written in C, and integrated into dtc.
> 
> Thanks for looking at this.
> 
> Very interesting. Certainly an expedient way to start checking schemas,
> and for certain bindings it may be the best approach. The downside is it
> forces a recompilation of DTC to bring in new bindings and it isn't a
> great meduim for mixing schema with documentation in the bindings.

This approach would certainly require recompiling something. I threw the
code into dtc simply because it was the easiest container for the
demonstration. It could be a separate DT validation utility if we
wanted, although we'd need to split the DT parser from dtc into a
library to avoid code duplication. The resultant utility could be part
of the repo containing the DTs, so it didn't end up as a separate
package to manage.

I think the additional documentation could be added as comments in the
validation functions, just like IIRC it was to be represented as
comments even in the .dts-based schema proposals.

  parent reply	other threads:[~2013-10-25 14:44 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-10-24 21:51 [RFC PATCH dtc] C-based DT schema checker integrated into dtc Stephen Warren
2013-10-24 23:43 ` Grant Likely
2013-10-25  4:00   ` Kumar Gala
2013-10-25 14:44   ` Stephen Warren [this message]
2013-10-25 15:21     ` Jon Loeliger
2013-10-25 17:38       ` Rob Herring
2013-10-25 23:11       ` David Gibson
2013-11-03 23:15         ` Tomasz Figa
2013-11-03 23:26           ` Tomasz Figa
2013-11-04  9:28             ` Arnd Bergmann
2013-11-04 12:31               ` Tomasz Figa
2013-11-04 16:37               ` Stephen Warren
2013-11-04 18:57                 ` Olof Johansson
2013-11-04 20:43                 ` Arnd Bergmann
2013-11-04 21:29                   ` Jason Gunthorpe
2013-11-04 21:43                     ` Stephen Warren
2013-11-04 22:21                       ` Jason Gunthorpe
2013-11-05 12:14                         ` Arnd Bergmann
2013-11-05  8:39                     ` Arnd Bergmann
2013-11-05 18:03                       ` Jason Gunthorpe
2013-11-05 18:48                         ` Arnd Bergmann
2013-11-05 19:12                           ` Jason Gunthorpe
2013-11-05 19:34                             ` Arnd Bergmann
2013-11-05 19:58                               ` Jason Gunthorpe
2013-11-05 20:17                                 ` Arnd Bergmann
2013-11-05 20:36                                   ` Jason Gunthorpe
2013-11-04 21:50                   ` Stephen Warren
2013-11-05  8:22                     ` Arnd Bergmann
2013-11-06 12:17                   ` Thierry Reding
2013-11-04 14:28           ` David Gibson
2013-11-04 16:42           ` Stephen Warren
2013-10-28 10:17     ` David Gibson
2013-10-31 21:13       ` Stephen Warren
2013-11-01 13:24         ` David Gibson
2013-10-25 23:29 ` David Gibson
2013-10-31 21:11   ` Stephen Warren
2013-11-10 11:00     ` David Gibson
2013-11-12 22:06       ` Stephen Warren
2013-11-13  0:33         ` David Gibson

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=526A83B9.30800@wwwdotorg.org \
    --to=swarren@wwwdotorg$(echo .)org \
    --cc=linux-arm-kernel@lists$(echo .)infradead.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox