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/[email protected]/
"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
