From e25816fc050d789ffd9bd07e58c6e0f98d77510a Mon Sep 17 00:00:00 2001 From: Bryan Waite Date: Tue, 31 Jan 2023 08:21:39 +0000 Subject: [PATCH] Provide alternative ways to check for https://superuser.com/questions/287371/obtain-kernel-config-from-currently-running-linux-system/287372#287372 --- doc/user.rst | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/doc/user.rst b/doc/user.rst index d90d090dc..7eb891229 100644 --- a/doc/user.rst +++ b/doc/user.rst @@ -992,11 +992,15 @@ Or you can use the :command:`prlimit` program from the util-linux package: The systemd service file shipped with :program:`MPD` comes with this setting. -This works only if the Linux kernel was compiled with :makevar:`CONFIG_RT_GROUP_SCHED` disabled. Use the following command to check this option for your current kernel: +This works only if the Linux kernel was compiled with :makevar:`CONFIG_RT_GROUP_SCHED` disabled. Use the following command(s) to check this option for your current kernel: -.. code-block:: none +.. code-block:: sh zgrep ^CONFIG_RT_GROUP_SCHED /proc/config.gz + # OR + grep ^CONFIG_RT_GROUP_SCHED /boot/config + # OR + grep ^CONFIG_RT_GROUP_SCHED /boot/config-$(uname -r) You can verify whether the real-time scheduler is active with the ps command: