From mboxrd@z Thu Jan 1 00:00:00 1970 From: Stewart Smith Subject: Re: device tree verification tools Date: Thu, 04 Aug 2016 09:42:35 +1000 Message-ID: <87vazh8ln8.fsf@linux.vnet.ibm.com> References: Mime-Version: 1.0 Content-Type: text/plain 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, 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 Julia Lawall writes: > 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? For a few checks that we want to do for OpenPower systems, we've been adding tests to the FirmWare Test Suite (FWTS) https://wiki.ubuntu.com/FirmwareTestSuite - which does actually catch a case where we messed it up and have something that's technically invalid (i.e. we could have used this a couple of years ago when the mistake was initially made). -- Stewart Smith OPAL Architect, IBM. -- 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