From mboxrd@z Thu Jan  1 00:00:00 1970
From: Frank Rowand <frowand.list-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
Subject: Re: device tree verification tools
Date: Wed, 3 Aug 2016 12:49:58 -0700
Message-ID: <57A24AE6.404@gmail.com>
References: <alpine.DEB.2.10.1607262241240.3426@hadrien>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Return-path: <devicetree-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org>
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=subject:to:references:cc:from:message-id:date:user-agent
         :mime-version:in-reply-to:content-transfer-encoding;
        bh=BO7j8nfoH7tjemncEGLUR8l6tw9GOuZxrWu0pGqMxes=;
        b=zDDoPRgCIEcfMiDTYPQATwov5K5GAbz/C+VDRpV628wvbUWfW7gIk7Y/8nDVDV09ga
         wDGV1Bn44AAxbezaZfRkgv9GF7lpFTbbaRvDgFowrpscFgJspmhHezdike1nyoWNI3lx
         f8HmW6nvchbDTV7bWkAdzFA8sgBdFsqGByQ9IHbi+c6MR3lkY6XvjoaM6a9ujAdcCACp
         0vLjjSqEwjLkbBazFN+3wV8SyB0w/EB5xNDt/XoTiz5vYK8K6esf2yttbhpcV/uEbop3
         R2hShTtrCs1FYbbiJNoZ1pN2nfdhAiuo3gKDFaw+YvnIpcxVNFw/TvN6fLj1Roo1qHsT
         9JyQ==
In-Reply-To: <alpine.DEB.2.10.1607262241240.3426@hadrien>
Sender: devicetree-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
List-ID: <devicetree-spec.vger.kernel.org>
Content-Type: text/plain; charset="us-ascii"
To: Julia Lawall <julia.lawall-L2FTfq7BK8M@public.gmane.org>, 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

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