mirror of
https://github.com/torvalds/linux.git
synced 2026-07-27 17:47:41 +02: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:
|
||
|---|---|---|
| .. | ||
| 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 | ||