From mboxrd@z Thu Jan 1 00:00:00 1970 From: Frank Rowand Subject: Re: device tree verification tools Date: Wed, 3 Aug 2016 12:49:58 -0700 Message-ID: <57A24AE6.404@gmail.com> References: Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: Sender: devicetree-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org To: Julia Lawall , mporter-OWPKS81ov/FWk0Htik3J/w@public.gmane.org, behanw-k/hB3zQhLwledRVtV/plodBPR1lH4CV8@public.gmane.org, robh+dt-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org, david-xT8FGy+AXnRB3Ne2BGzF6laj5H9X9Tb+@public.gmane.org, pantelis.antoniou-OWPKS81ov/FWk0Htik3J/w@public.gmane.org Cc: devicetree-u79uwXL29TY76Z2rM5mHXA@public.gmane.org, devicetree-spec-u79uwXL29TY76Z2rM5mHXA@public.gmane.org List-Id: devicetree@vger.kernel.org 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" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html