Defining schemas for Device Tree
tomasz.figa at gmail.com
Mon Jul 29 18:26:17 EDT 2013
On Monday 29 of July 2013 12:15:50 Jason Gunthorpe wrote:
> On Mon, Jul 29, 2013 at 02:21:52AM +0200, Tomasz Figa wrote:
> > e) What format should be used for Device Tree schema?
> > This is a non-trivial problem. Key criteria I can think of are as
> > follows:
> You may wish to think about this as a linter+checker (like
> sparse/coverity, etc) and code the 'schema' in C code.
> As you've noticed already there are many complex cases. Look at the
> PCI bindings, for instance, the complexity of what needs to be valided
> is very high.
This sounds like an interesting idea. Not sure about usability of such schemas
as human-readable documentation, though.
More information about the linux-arm-kernel