Re: [PATCH v2 10/15] tools/rv: Add BPF monitors

[Nam Cao]

John Ogness <john.ogness@xxxxxxxxxxxxx> writes:
> On 2026-10-19, Nam Cao <namcao@xxxxxxxxxxxxx> wrote:
>> John Ogness <john.ogness@xxxxxxxxxxxxx> writes:
>>> @namcao: Maybe you could chime in if you want the transitions as events.
>>
>> No. Those are only useful for debugging RV itself and do not need to be
>> upstream.
>
> Sure, but debugging RV itself _is_ a use case. Especially when RV moves
> to eBPF and lots of people will start writing their own RV monitors.

Right.

I wouldn't enable those by default though, it's way too much noises. As
it's for debugging the model, we can have some sort of compile-time
switch to turn it on.

Nam