mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/
synced 2026-11-08 18:57:22 +00:00
49cbd359e4
The sched monitor page was linking to Daniel's website which is now
down. The main purpose of the link was to point to a source for the
models from the original author and that can be found also in his
published paper.
Replace the link with a reference to Daniel's "A thread synchronization
model for the PREEMPT_RT Linux kernel" which can be found online and
includes the models definitions as well as the work behind them (not the
original patches but since they're based on a 5.0 kernel and are mostly
included upstream, there's little value in keeping them in the docs).
Fixes:
|
History
|
|
|---|---|---|
| .. | ||
| da_monitor_instrumentation.rst | ||
| deterministic_automata.rst | ||
| hybrid_automata.rst | ||
| index.rst | ||
| linear_temporal_logic.rst | ||
| monitor_deadline.rst | ||
| monitor_rtapp.rst | ||
| monitor_sched.rst | ||
| monitor_stall.rst | ||
| monitor_synthesis.rst | ||
| monitor_wip.rst | ||
| monitor_wwnr.rst | ||
| runtime-verification.rst | ||