Re: device tree verification tools

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 





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" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Device Tree Compilter]     [Device Tree Spec]     [Linux Driver Backports]     [Video for Linux]     [Linux USB Devel]     [Linux PCI Devel]     [Linux Audio Users]     [Linux Kernel]     [Linux SCSI]     [XFree86]     [Yosemite Backpacking]
  Powered by Linux