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