Re: Formal grammar for DTS

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



On Mon, 2015-03-02 at 10:42 -0500, Stefan Seefeld wrote:
> David,
> 
> On 01/03/15 11:54 PM, David Gibson wrote:
> > On Sat, Feb 28, 2015 at 10:22:55AM -0500, Stefan Seefeld wrote:
> >> Hello,
> >>
> >> I would like to write a tool / library that allows me to
> >> (programmatically) edit .dts files, with the ability to regenerate the
> >> source files, preserving the original formatting (including comments and
> >> other non-semantic content).
> >>
> >> To that end I need a formal definition of the DTS grammar. While I have
> >> found the dtc tool, all its source files (in particular the dtc-lexer.l
> >> and dtc-parser.y files) are released under GPL, so it isn't entirely
> >> clear whether I may use the grammar encoded in those and transcribe that
> >> into my own (I'm writing my tool in Java, most likely using the JavaCC
> >> parser generator tool).
> >>
> >> So, is there another place where the grammar of Device Tree source files
> >> is formally defined in ways that allows tools developers to use that ?
> >> Any help and advice would be highly appreciated.
> > 
> > I'm not aware of any other presentation of the dts grammar than in the
> > source files.
> > 
> > IANAL, but fwiw, I wouldn't consider transcribing the grammar rules
> > (without the semantic actions) into some other form to be a derived
> > work triggering the GPL.
> 
> Yes, I agree. Still, it would be a little clearer if the grammar would
> be held in a separate file (not covered by GPL). Perhaps you could c&p
> just the BNF grammar into a text file ?

Isn't the DTS syntax described by ePAPR "Appendix A Device Tree Source
Format (version 1)"? having said that it's not terribly formal.

Ian.

--
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




[Index of Archives]     [Device Tree]     [Linux Driver Backports]     [Video for Linux]     [Linux USB Devel]     [Linux Audio Users]     [Photos]     [Yosemite Photos]     [Linux Kernel]     [Linux SCSI]     [XFree86]     [Yosemite Backpacking]

  Powered by Linux