On Fri, 4 Nov 2016, Grant Likely wrote: > On Fri, Nov 4, 2016 at 2:03 PM, Frank Rowand <frowand.list@xxxxxxxxx> wrote: > > On 07/26/16 13:43, Julia Lawall wrote: > >> I saw that there will be a microconference on device trees at Linux > >> Plumbers. Unfortunately, I won't be able to attend, due to another event > >> at the same time, but I was wondering what is the status of verification > >> tools for device tree specifications? > >> > >> thanks, > >> julia > >> > > > > Hi Julia, > > > > Grant Likely is breathing new life into the verification effort. > > Hey Julia, > > The status is: there are no verification tools for dt. :-) > > I'm /hoping/ to fix that. I've started experimenting with a grammar > for DT schema and writing a schema validation tool, but this isn't my > domain of expertise. I could certainly use your insight. You can see > some of what I've been playing with in this git tree: > > https://github.com/glikely/dtgendoc > > It is little more than prototype code, and nothing has been formalized > yet. I'm open to taking other approaches. Thanks for the pointer. I haven't had a chance to look into it, but I hope to get to it soon. julia > > Cheers, > g. > > > > > > -Frank > -- To unsubscribe from this list: send the line "unsubscribe devicetree-spec" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
