Hi Sebastian,
On Mon, Sep 15, 2025 at 04:13:03PM +0200, Sebastian Andrzej Siewior wrote:
> The section refers to .txt files but they have been moved/ renamed to
> .rst some time ago. The mentioned sched-rt-group is inconvenient as
> people always complained about CONFIG_RT_GROUP_SCHED.
> Everything that describes CFS is not wrong but the kernel the kernel
> switched to the Earliest Virtual Deadline First (EEVDF) scheduler.
>
> Instead of updating the file links below (and adding new ones), replace
> them with a link to the automatically created scheduler documetation
> from that folder. This also has some EEVDF bits :)
>
> Signed-off-by: Sebastian Andrzej Siewior <bigeasy@linutronix.de>
Thanks! I've applied the patch, with the following amendment:
diff --git i/man/man7/sched.7 w/man/man7/sched.7
index 6efdd90c5..8d37db321 100644
--- i/man/man7/sched.7
+++ w/man/man7/sched.7
@@ -1057,7 +1057,7 @@ .SH SEE ALSO
.P
.UR https://docs.kernel.org/\:scheduler
The Linux kernel documentation for the scheduler
-.UE
+.UE .
.P
Worth looking at:
.UR https://wiki.linuxfoundation.org/\:realtime/\:start
Cheers,
Alex
> ---
> man/man7/sched.7 | 9 +++------
> 1 file changed, 3 insertions(+), 6 deletions(-)
>
> diff --git a/man/man7/sched.7 b/man/man7/sched.7
> index db7753c9e912c..935ff1fb82db5 100644
> --- a/man/man7/sched.7
> +++ b/man/man7/sched.7
> @@ -1048,12 +1048,9 @@ was not possible up to Linux 2.6.17.
> .I Programming for the real world \- POSIX.4
> by Bill O.\& Gallmeister, O'Reilly & Associates, Inc., ISBN 1-56592-074-0.
> .P
> -The Linux kernel source files
> -.IR \%Documentation/\:scheduler/\:sched\-deadline\:.txt ,
> -.IR \%Documentation/\:scheduler/\:sched\-rt\-group\:.txt ,
> -.IR \%Documentation/\:scheduler/\:sched\-design\-CFS\:.txt ,
> -and
> -.I \%Documentation/\:scheduler/\:sched\-nice\-design\:.txt
> +.UR https://docs.kernel.org/\:scheduler
> +The Linux kernel documentation for the scheduler
> +.UE
> .P
> Worth looking at:
> .UR https://wiki.linuxfoundation.org/\:realtime/\:start
> --
> 2.51.0
>
--
<https://www.alejandro-colomar.es>
Use port 80 (that is, <...:80/>).