Patch Series

Subject	Add testable code specifications
Author	gpaoloni@redhat.com
Date	2025-09-10 16:59:58 +0000 UTC
Version	2
Cc	acarmina@redhat.com chuckwolber@gmail.com corbet@lwn.net gpaoloni@redhat.com gregkh@linuxfoundation.org kstewart@linuxfoundation.org linux-doc@vger.kernel.org linux-kernel@vger.kernel.org linux-kselftest@vger.kernel.org linux-mm@kvack.org safety-architecture@lists.elisa.tech shuah@kernel.org

Patches (3)

Name	Content [All]
[RFC v2 PATCH 1/3] Documentation: add guidelines for writing testable code specifications	[Body]
[RFC v2 PATCH 2/3] /dev/mem: Add initial documentation of memory_open() and mem_fops	[Body]
[RFC v2 PATCH 3/3] selftests/devmem: initial testset	[Body]

Session 2025-09-10

ID (for dev)	3051218b-9bc3-406e-8242-2dba3c74c487
Status	finished
Triaged	OK [Log]
Execution Log	[Link]

Test	Base	Patched	Verdict
Build Base	f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config]		passed [Log]
Build Patched		f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config] [patched]	passed [Log]
Boot test: Base	f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config]		passed
Boot test: Patched		f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config] [patched]	passed
Fuzzing	f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config]	f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config] [patched]	passed [Log] [Artifacts]