Re: [PATCH 0/5] tools/verification: Improvements to rv and rvgen

[Gabriele Monaco <gmonaco@redhat.com>]

2025-07-24T14:40:23Z Steven Rostedt <rostedt@goodmis.org>:

> On Wed, 23 Jul 2025 18:12:35 +0200
> Gabriele Monaco <gmonaco@redhat.com> wrote:
>
>> This series introduces various improvements to the rv/rvgen tools as
>> first posted in [1]. It also adapts generated kernel files accordingly.
>>
> So keeping tools and kernel separate for RV is proving to be quite a
> pain as patch 4 has conflicts. I'm going to make a third topic branch
> just for RV. This will include anything in tools/verification and
> kernel/trace/rv. I'll restructure the patches I already added and move
> them into this branch, so that all the RV related work is there and not
> in the latency or tools branches.
>
> So no need to separate RV into kernel and tooling anymore.
>

Alright, but I guess going forward I'll try to keep changes separated anyway, if possible.

Right, 4 is problematic here, it should apply cleanly on next though, maybe I should have rebased on your tree instead..

So do I submit together 4,5 and the kernel ones? Or again all together?

Thanks,
Gabriele

> The topic branches I'll have is:
>
> tools - for things like rtla
> latency - for the latency tracers (osnoise, etc)
> rv - for the runtime verification work.