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 > Matt, Rob, Is activity on this topic likely to resume later this year? -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
