Re: [PATCH v12 00/12] RV: Linear temporal logic monitors for RT application

Hello:

This patch was applied to riscv/linux.git (fixes)
by Steven Rostedt (Google) [off-list ref]:

On Wed,  9 Jul 2025 19:56:17 +0200 you wrote:

Real-time applications may have design flaws causing them to have
unexpected latency. For example, the applications may raise page faults, or
may be blocked trying to take a mutex without priority inheritance.

However, while attempting to implement DA monitors for these real-time
rules, deterministic automaton is found to be inappropriate as the
specification language. The automaton is complicated, hard to understand,
and error-prone.

[...]

Here is the summary with links:
  - [v12,08/12] riscv: mm: Add page fault trace points
    https://git.kernel.org/riscv/c/a37c71ca412d

You are awesome, thank you!
-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html