device tree verification tools

device tree verification tools

[Julia Lawall]

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

Re: device tree verification tools

[Frank Rowand]

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

Re: device tree verification tools

[Stewart Smith]

Julia Lawall <julia.lawall-L2FTfq7BK8M@public.gmane.org> 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

Re: device tree verification tools

[Julia Lawall]

On Thu, 4 Aug 2016, Stewart Smith wrote:

> Julia Lawall <julia.lawall-L2FTfq7BK8M@public.gmane.org> 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).

Thanks for the information.  Is it easy to see in there what tests are
done?

thanks,
julia

>
> --
> Stewart Smith
> OPAL Architect, IBM.
>
>

Re: device tree verification tools

[Stewart Smith]

Julia Lawall <julia.lawall-L2FTfq7BK8M@public.gmane.org> writes:
> On Thu, 4 Aug 2016, Stewart Smith wrote:
>
>> Julia Lawall <julia.lawall-L2FTfq7BK8M@public.gmane.org> 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).
>
> Thanks for the information.  Is it easy to see in there what tests are
> done?

You can have a look at the FWTS source, there's some specific DT tests
there (we have one to ensure that when somebody creates a new machine,
they change the model name in the device tree from the reference
platform model name). Since FWTS uses the same device tree code as
everywhere, it's not too hard to follow, and the test report from FWTS
is pretty clear (and you can tell it to just run some tests).

-- 
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

Re: device tree verification tools

[Frank Rowand]

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
> 

Hi Julia,

Grant Likely is breathing new life into the verification effort.

-Frank

Re: device tree verification tools

[Grant Likely]

On Fri, Nov 4, 2016 at 2:03 PM, Frank Rowand <frowand.list-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
> 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
>>
>
> Hi Julia,
>
> Grant Likely is breathing new life into the verification effort.

Hey Julia,

The status is: there are no verification tools for dt.  :-)

I'm /hoping/ to fix that. I've started experimenting with a grammar
for DT schema and writing a schema validation tool, but this isn't my
domain of expertise. I could certainly use your insight. You can see
some of what I've been playing with in this git tree:

https://github.com/glikely/dtgendoc

It is little more than prototype code, and nothing has been formalized
yet. I'm open to taking other approaches.

Cheers,
g.


>
> -Frank

Re: device tree verification tools

[Julia Lawall]

On Fri, 4 Nov 2016, Grant Likely wrote:

> On Fri, Nov 4, 2016 at 2:03 PM, Frank Rowand <frowand.list-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
> > 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
> >>
> >
> > Hi Julia,
> >
> > Grant Likely is breathing new life into the verification effort.
>
> Hey Julia,
>
> The status is: there are no verification tools for dt.  :-)
>
> I'm /hoping/ to fix that. I've started experimenting with a grammar
> for DT schema and writing a schema validation tool, but this isn't my
> domain of expertise. I could certainly use your insight. You can see
> some of what I've been playing with in this git tree:
>
> https://github.com/glikely/dtgendoc
>
> It is little more than prototype code, and nothing has been formalized
> yet. I'm open to taking other approaches.

Thanks for the pointer.  I haven't had a chance to look into it, but I
hope to get to it soon.

julia

>
> Cheers,
> g.
>
>
> >
> > -Frank
>