From mboxrd@z Thu Jan  1 00:00:00 1970
From: Julia Lawall <julia.lawall-L2FTfq7BK8M@public.gmane.org>
Subject: device tree verification tools
Date: Tue, 26 Jul 2016 22:43:07 +0200 (CEST)
Message-ID: <alpine.DEB.2.10.1607262241240.3426@hadrien>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Return-path: <devicetree-spec-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org>
Sender: devicetree-spec-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
To: mporter-OWPKS81ov/FWk0Htik3J/w@public.gmane.org, behanw-k/hB3zQhLwledRVtV/plodBPR1lH4CV8@public.gmane.org, robh+dt-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org, frowand.list-Re5JQEeQqe8AvxtiuMwx3w@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

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