Re: [RFC PATCH 00/11] rv: Add scheduler specification monitors

[Juri Lelli]

On 10/02/25 13:56, Gabriele Monaco wrote:
> On Fri, 2025-02-07 at 15:27 +0100, Juri Lelli wrote:
> > 
> > Right. I guess I wonder if we can find a way to inject kernel
> > problems
> > somehow, so that model(s) can be further tested explicitly thus
> > making
> > us confident that they will be able to identify real problems when
> > they
> > occur.
> > 
> 
> I sketched it quickly and I wouldn't include it in this series not to
> make it heavier, but if you want to play with it I wrote a patch
> exporting a function to inject events and building a kernel module
> calling the function periodically.

Ah, this is cool. Thanks for working on it!

Yeah, agree, we can leave it for later.

Thanks!