[$] An alternative device-tree source language

Device trees have become, in a relatively short time, the preferred way toinform the kernel of the available hardware on systems where that hardwareis not discoverable - most ARM systems, among others. In short, adevice tree is a textual description of a system's hardware that iscompiled to a simple binary format and passed to the kernel by thebootloader. The source format for device trees has been established for along time - longer than Linux has been using it. Perhaps it's time for achange, but a proposal for a newdevice-tree source format has generated a fair amount of controversy in thesmall corner of the community that concerns itself with such things.