Changes in Makefile

55ee4b931a7ffedc886175d265dd6e6d08fd4151 - Merge tag 'trace-rv-v7.3' of git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace

Wed, 19 Aug 2026 22:29:22 +0200

Merge tag 'trace-rv-v7.3' of git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-tracePull Real-time Verifier updates from Steven Rostedt: - Switch LTL and DOT parsers to Lark in code generation tool The rvgen code generation tool originally parsed DOT files and LTL specifications using custom string parsing and Ply, which is no longer maintained. The DOT parser was fragile and prone to failure on minor format variations. Both LTL and DOT parsers have been rewritten to use the Lark parsing library. - Simplify Hybrid Automata clock variables The clock variables in hybrid automata monitors now use a single representation of the elapsed time since the clock was reset, rather than converting between invariant and guard representations. This allows simpler code generation for the newly refactored parser. - Generate cleanup hook for per-obj monitor The code generation scripts now adds a cleanup function to per-obj monitors for the user to wire to the appropriate event (e.g. sched_process_exit for tasks). - Reduce read_lock scope during per-task cleanup Take the tasklist_lock only when necessary, that is when iterating over for_each_process_thread(). - Simplify task monitor slot management Only rely on the slot array for per-task slot management to avoid inconsistency with the unused counter. - Improve rvgen code robustness and templates Use pathlib in rvgen and improve kernel path discovery. Also improve consistency across templates when generating code (e.g. author placeholder and monitor struct name). - Update rtapp sleep monitor Simplify the sleep monitor by excluding kernel threads and updating the nanosleep check to focus only on CLOCK_REALTIME. Also switch to use the sched_exit tracepoint to run in the context of the offending (wakee) task. - Add wakeup monitor Add the new rtapp/wakeup monitor to detect when lower-priority tasks wake up higher-priority ones, complementing the existing sleep monitor by running in the waker context and capturing its stack trace. - Fix tools/rv exit status on failure Ensure the rv tool returns a failure exit code when a monitor fails to start because it was already running. - Add automated selftests for tools/rv and rvgen Introduced automated bash selftests to validate rv monitor listing and execution under different configurations. Added tests for the rvgen code generator, validating generated files against expected output (golden). Tests are reachable via make check. - Add KUnit test coverage for verification monitors Added comprehensive KUnit tests to validate the functionality of deterministic, hybrid, and LTL monitors by emulating event sequences and timing in a mock environment without affecting the running kernel while expecting mock reactions to fire. Ensure real RV monitors cannot run during KUnit tests to avoid state corruption. - Mock current in rv monitors Mock the call to current in rv monitors when the KUnit tests are built to allow them to run the test on dummy tasks. No overhead is expected when KUnit tests aren't running. - Introduce rvgen kunit subcommand Added a new 'kunit' subcommand to rvgen to automatically patch an already generated monitor with KUnit integration templates by parsing its event handlers and creating the required mock structures and initializations. - Refine kernel verification selftests Added new selftests for the deadline and stall monitors and rearranged the existing wwnr_printk test to resolve flakiness. Additionally, fixed an issue in the selftests framework where negative assertion failures were not correctly propagated due to shell rules. - Fix 32-bit build of nomiss KUnit test A previous commit introduced a division between an u64 and a constant value and that doesn't build on 32-bit systems. Use div_u64() instead. - Document changes in sleep monitor The sleep monitor introduced some changes in the past like allowing epoll_wait() as a valid sleep and a task going to runnable before scheduling as a valid wakeup. Document both.* tag 'trace-rv-v7.3' of git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace: (40 commits) Documentation/rv: Explain epoll and aborted sleeps rv: Fix 32-bit build of nomiss KUnit test selftests/verification: Add selftests for deadline and stall monitors selftests/verification: Rearrange the wwnr_printk test selftests/verification: Fix wrong errexit assumption rv: Add KUnit tests for some LTL monitors rv: Add KUnit mock for current rv: Add KUnit tests for some DA/HA monitors rv: Export task monitor slot and react symbols verification/rvgen: Add selftests for rvgen kunit verification/rvgen: Add the rvgen kunit subcommand verification/rvgen: Add selftests verification/rvgen: Add golden and spec folders for tests tools/rv: Add selftests verification/rvgen: Improve consistency in template files verification/rvgen: Use pathlib instead of os.path verification/rvgen: Improve rv_dir discovery in RVGenerator tools/rv: Fix exit status when monitor execution fails rv: Use generic rv_this for the rv_monitor variable in LTL rv/rtapp: Add wakeup monitor ... List of files: /linux/tools/verification/rv/Makefile

92f0ce55299082a37ac88c12b552059b278afcbf - tools/rv: Add selftests

Thu, 23 Jul 2026 09:45:23 +0200

tools/rv: Add selftestsThe rv tool needs automated testing to catch regressions and verifycorrect functionality across different usage scenarios.Add selftests that validate monitor listing (including containers andnested monitors), monitor execution with different configurations(reactors, verbose output, tracing), and trace output format for bothper-task and per-cpu monitors. Error handling paths are also tested.Tests use a shared engine for common patterns.Acked-by: Nam Cao Link: https://lore.kernel.org/r/20260723074534.43521-7-gmonaco@redhat.comSigned-off-by: Gabriele Monaco List of files: /linux/tools/verification/rv/Makefile

bbfd5594756011167b8f8de9a00e0c946afda1e6 - Merge drm/drm-next into drm-intel-gt-next

Wed, 28 May 2025 09:20:17 +0200

Merge drm/drm-next into drm-intel-gt-nextNeed to pull in a67221b5eb8d ("drm/i915/dp: Return min bpc supported by source instead of 0")in order to fix build breakage on GCC 9.4.0 (from Ubuntu 20.04).Signed-off-by: Joonas Lahtinen List of files: /linux/tools/verification/rv/Makefile

db5302ae571beec635c1a96e7f72926a4e65195e - Merge drm/drm-next into drm-intel-next

Fri, 16 May 2025 09:22:36 +0200

Merge drm/drm-next into drm-intel-nextBackmerge to sync with v6.15-rc, xe, and specifically async flip changesin drm-misc.Signed-off-by: Jani Nikula List of files: /linux/tools/verification/rv/Makefile

4f9786035f9e519db41375818e1d0b5f20da2f10 - Merge branch 'next' into for-linus

Mon, 02 Jun 2025 06:41:07 +0200

Merge branch 'next' into for-linusPrepare input updates for 6.16 merge window. List of files: /linux/tools/verification/rv/Makefile

d51b9d81f7883f526b26e3ab903e646274aebeb1 - Merge tag 'v6.15-rc6' into next

Fri, 16 May 2025 01:20:39 +0200

Merge tag 'v6.15-rc6' into nextSync up with mainline to bring in xpad controller changes. List of files: /linux/tools/verification/rv/Makefile

844e31bbaef7c8a6ff2c0fbac45c0c85b5484482 - Merge remote-tracking branch 'drm-misc/drm-misc-next' into msm-next

Tue, 29 Apr 2025 22:42:29 +0200

Merge remote-tracking branch 'drm-misc/drm-misc-next' into msm-nextMerge drm-misc-next to get commit Fixes: fec450ca15af ("drm/display:hdmi: provide central data authority for ACR params").Signed-off-by: Rob Clark List of files: /linux/tools/verification/rv/Makefile

1afba39f9305fe4061a4e70baa6ebab9d41459da - Merge drm/drm-next into drm-misc-next

Mon, 07 Apr 2025 13:47:40 +0200

Merge drm/drm-next into drm-misc-nextBackmerging to get v6.15-rc1 into drm-misc-next. Also fixes abuild issue when enabling CONFIG_DRM_SCHED_KUNIT_TEST.Signed-off-by: Thomas Zimmermann List of files: /linux/tools/verification/rv/Makefile

52eb8cd788f1a56a0645c1f6650e5795e04aaed0 - Merge drm/drm-next into drm-xe-next

Wed, 19 Mar 2025 11:08:52 +0100

Merge drm/drm-next into drm-xe-nextBackmerging to bring in the xe shrinker from drm-next.Signed-off-by: Thomas Hellström List of files: /linux/tools/verification/rv/Makefile

1260ed77798502de9c98020040d2995008de10cc - Merge drm/drm-fixes into drm-misc-fixes

Tue, 08 Apr 2025 10:15:47 +0200

Merge drm/drm-fixes into drm-misc-fixesBackmerging to get updates from v6.15-rc1.Signed-off-by: Thomas Zimmermann List of files: /linux/tools/verification/rv/Makefile

df02351331671abb26788bc13f6d276e26ae068f - Merge tag 'riscv-mw1-6.15-rc1' of ssh://gitolite.kernel.org/pub/scm/linux/kernel/git/alexghiti/linux into for-next

Wed, 26 Mar 2025 23:54:12 +0100

Merge tag 'riscv-mw1-6.15-rc1' of ssh://gitolite.kernel.org/pub/scm/linux/kernel/git/alexghiti/linux into for-nextriscv patches for 6.15-rc1* A bunch of fixes: - We were missing a secondary mmu notifier call when flushing the tlb which is required for IOMMU - Fix ftrace panics by saving the registers as expected by ftrace - Fix a couple of stimecmp usage related to cpu hotplug - Fix a bunch of issues in the misaligned probing handling* Perf improvements: - Introduce support for runtime constant improving perf of d_hash() - Add support for huge pfnmaps to improve tlb utilization - Use Zawrs to improve smp_cond_load8/16() used by the queued spinlocks* Hwprobe additions: - Add support for Zicntr and Zihpm - Add support for Zaamo and Zalrsc - Add support for bfloat16 extensiosn - Add support for Zicbom (only enabling clean and flush, not inval for security reasons)* Misc: - Add a kernel parameter to bypass the misaligned speed probing since we can't rely on Zicclsm* tag 'riscv-mw1-6.15-rc1' of ssh://gitolite.kernel.org/pub/scm/linux/kernel/git/alexghiti/linux: (1585 commits) riscv: Add runtime constant support riscv: Move nop definition to insn-def.h Documentation/kernel-parameters: Add riscv unaligned speed parameters riscv: Add parameter for skipping access speed tests riscv: Fix set up of vector cpu hotplug callback riscv: Fix set up of cpu hotplug callbacks riscv: Change check_unaligned_access_speed_all_cpus to void riscv: Fix check_unaligned_access_all_cpus riscv: Fix riscv_online_cpu_vec riscv: Annotate unaligned access init functions KVM: riscv: selftests: Add Zaamo/Zalrsc extensions to get-reg-list test RISC-V: KVM: Allow Zaamo/Zalrsc extensions for Guest/VM riscv: hwprobe: export Zaamo and Zalrsc extensions riscv: add parsing for Zaamo and Zalrsc extensions dt-bindings: riscv: add Zaamo and Zalrsc ISA extension description riscv: fgraph: Fix stack layout to match __arch_ftrace_regs argument of ftrace_return_to_handler riscv: fgraph: Select HAVE_FUNCTION_GRAPH_TRACER depends on HAVE_DYNAMIC_FTRACE_WITH_ARGS riscv: Fix missing __free_pages() in check_vector_unaligned_access() riscv: Fix the __riscv_copy_vec_words_unaligned implementation riscv: mm: Don't use %pK through printk ... List of files: /linux/tools/verification/rv/Makefile

525b139fb4033a9ba5abd6ca3f6a6baa3b2fe3d4 - Merge v6.14-rc6 into usb-next

Mon, 10 Mar 2025 08:16:31 +0100

Merge v6.14-rc6 into usb-nextResolves the merge conflict with: drivers/usb/typec/ucsi/ucsi_acpi.cSigned-off-by: Greg Kroah-Hartman List of files: /linux/tools/verification/rv/Makefile

21fd84953571c7d2b73552ffcf0d0d1bcc7e8a20 - Merge tag 'i2c-host-6.15' of git://git.kernel.org/pub/scm/linux/kernel/git/andi.shyti/linux into i2c/for-mergewindow

Tue, 25 Mar 2025 12:35:59 +0100

Merge tag 'i2c-host-6.15' of git://git.kernel.org/pub/scm/linux/kernel/git/andi.shyti/linux into i2c/for-mergewindowi2c-host updates for v6.15Refactoring and cleanups - octeon, cadence, i801, pasemi, mlxbf, bcm-iproc: general refactorings - octeon: remove 10-bit address supportImprovements - amd-asf: improved error handling - designware: use guard(mutex) - amd-asf, designware: update naming to follow latest specs - cadence: fix cleanup path in probe - i801: use MMIO and I/O mapping helpers to access registers - pxa: handle error after clk_prepare_enableNew features - added i2c_10bit_addr_*_from_msg() and updated multiple drivers - omap: added multiplexer state handling - qcom-geni: update frequency configuration - qup: introduce DMA usage policyNew hardware support - exynos: add support for Samsung exynos7870 - k1: add support for spacemit k1 (new driver) - imx: add support for i.mx94 lpi2c - rk3x: add support for rk3562Multiplexers - ltc4306, reg: fix assignment in platform_driver structure List of files: /linux/tools/verification/rv/Makefile

993a47bd7b998156ffebc999617474c920dc9208 - Merge 6.14-rc6 into driver-core-next

Mon, 10 Mar 2025 17:37:25 +0100

Merge 6.14-rc6 into driver-core-nextWe need the driver core fix in here as well.Signed-off-by: Greg Kroah-Hartman List of files: /linux/tools/verification/rv/Makefile

046cc01be6b9d139b49dfc396b7201c633ff1a26 - Merge 6.14-rc6 into char-misc-next

Mon, 10 Mar 2025 07:31:51 +0100

Merge 6.14-rc6 into char-misc-nextWe need the fixes in here as well to build on top of.Signed-off-by: Greg Kroah-Hartman List of files: /linux/tools/verification/rv/Makefile

626fb115662c9fd44fcbdd744d96a45b0427b504 - Backmerge tag 'v6.14-rc6' into drm-next

Wed, 12 Mar 2025 00:43:12 +0100

Backmerge tag 'v6.14-rc6' into drm-nextThis is a backmerge from Linux 6.14-rc6, needed for the nova PR.Signed-off-by: Dave Airlie List of files: /linux/tools/verification/rv/Makefile

357660d7596bd40d1004762739e426b1fbe10a14 - Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net

Thu, 27 Feb 2025 19:14:23 +0100

Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netCross-merge networking fixes after downstream PR (net-6.14-rc5).Conflicts:drivers/net/ethernet/cadence/macb_main.c fa52f15c745c ("net: cadence: macb: Synchronize stats calculations") 75696dd0fd72 ("net: cadence: macb: Convert to get_stats64")https://lore.kernel.org/20250224125848.68ee63e5@canb.auug.org.auAdjacent changes:drivers/net/ethernet/intel/ice/ice_sriov.c 79990cf5e7ad ("ice: Fix deinitializing VF in error path") a203163274a4 ("ice: simplify VF MSI-X managing")net/ipv4/tcp.c 18912c520674 ("tcp: devmem: don't write truncated dmabuf CMSGs to userspace") 297d389e9e5b ("net: prefix devmem specific helpers")net/mptcp/subflow.c 8668860b0ad3 ("mptcp: reset when MPTCP opts are dropped after join") c3349a22c200 ("mptcp: consolidate subflow cleanup")Signed-off-by: Jakub Kicinski List of files: /linux/tools/verification/rv/Makefile

770493524e9f623826765eb97c64d699f4752e4f - Merge branch 'for-6.15/intel-ish' into for-linus

Wed, 26 Mar 2025 13:50:46 +0100

Merge branch 'for-6.15/intel-ish' into for-linus- intel-ish Kbuild cleanup (Jiri Kosina) List of files: /linux/tools/verification/rv/Makefile

1a7c3068143be177deea86d977d3042a0c256706 - Merge branch 'for-linus' into for-next

Wed, 19 Mar 2025 08:58:07 +0100

Merge branch 'for-linus' into for-nextBack-merge of 6.14 devel branch for further developments of TAScodecsBack-merge of 6.14 devel branch for further developments.Signed-off-by: Takashi Iwai List of files: /linux/tools/verification/rv/Makefile

30514f2576e5fceafdce8060f0f4f2dadc956b6c - spi: Merge up fixes

Tue, 18 Mar 2025 13:27:00 +0100

spi: Merge up fixesThey are a dependency for applying some changes to the MAINTAINERSfile. List of files: /linux/tools/verification/rv/Makefile