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

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