summaryrefslogtreecommitdiffstats
path: root/c-user/config/scheduler-clustered.rst
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2020-03-17 09:10:15 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2020-03-18 07:32:26 +0100
commit79fb6fddf831586231b0b101790b59f11e708bb5 (patch)
tree510906b5d6943a218c02098266325b5b0abf4e01 /c-user/config/scheduler-clustered.rst
parentc-user: Add reference to proxies (diff)
downloadrtems-docs-79fb6fddf831586231b0b101790b59f11e708bb5.tar.bz2
c-user: Canonicalize configuration option groups
Update #3836.
Diffstat (limited to 'c-user/config/scheduler-clustered.rst')
-rw-r--r--c-user/config/scheduler-clustered.rst1
1 files changed, 1 insertions, 0 deletions
diff --git a/c-user/config/scheduler-clustered.rst b/c-user/config/scheduler-clustered.rst
index 0ea2f67..535829f 100644
--- a/c-user/config/scheduler-clustered.rst
+++ b/c-user/config/scheduler-clustered.rst
@@ -7,6 +7,7 @@
Clustered Scheduler Configuration
=================================
+This section describes configuration options related to clustered scheduling.
A clustered scheduler configuration is optional. It is an advanced
configuration area and only necessary in specific circumstances.