Re: [RFC PATCH v2 0/3] Add testable code specifications

Greg KH
2025-10-21T07:35:49Z

On Wed, Sep 10, 2025 at 06:59:57PM +0200, Gabriele Paoloni wrote:
> [1] was an initial proposal defining testable code specifications for
> some functions in /drivers/char/mem.c.
> However a Guideline to write such specifications was missing and test
> cases tracing to such specifications were missing.
> This patchset represents a next step and is organised as follows:
> - patch 1/3 contains the Guideline for writing code specifications
> - patch 2/3 contains examples of code specfications defined for some
> functions of drivers/char/mem.c
> - patch 3/3 contains examples of selftests that map to some code
> specifications of patch 2/3
>
> [1] https://lore.kernel.org/all/20250821170419.70668-1-gpaoloni@redhat.com/

"RFC" implies there is a request. I don't see that here, am I missing
that? Or is this "good to go" and want us to seriously consider
accepting this?

thanks,

greg k-h