diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-07 08:49:58 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-07 12:58:52 +0200 |
commit | b29dd738f97901f464400a19510056790807dc47 (patch) | |
tree | 12530221be861aad0f8ba217192fc52db98dffd4 /spec/if/acfg/group-schedgeneral.yml | |
parent | 374e1bf214e0f9691b06fcec30a7d88407ccba0a (diff) |
spec: Use ${...} references in /if/acfg/*
This allows generation of Sphinx and Doxygen output.
Diffstat (limited to 'spec/if/acfg/group-schedgeneral.yml')
-rw-r--r-- | spec/if/acfg/group-schedgeneral.yml | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/spec/if/acfg/group-schedgeneral.yml b/spec/if/acfg/group-schedgeneral.yml index 93429ed0..8b5702dd 100644 --- a/spec/if/acfg/group-schedgeneral.yml +++ b/spec/if/acfg/group-schedgeneral.yml @@ -8,17 +8,18 @@ description: | configuration does not need any of the configuration options described in this section. - By default, the :ref:`Deterministic Priority Scheduler <SchedulerPriority>` + By default, the ${.:/document-reference/scheduler-priority} algorithm is used in uniprocessor configurations. In case SMP is enabled and the configured maximum processors - (:ref:`CONFIGURE_MAXIMUM_PROCESSORS <CONFIGURE_MAXIMUM_PROCESSORS>`) is greater - than one, then the :ref:`Earliest Deadline First (EDF) SMP Scheduler - <SchedulerSMPEDF>` is selected as the default scheduler algorithm. + (${max-processors:/name}) is greater + than one, then the + ${.:/document-reference/scheduler-smp-edf} + is selected as the default scheduler algorithm. - For the :ref:`schedulers built into - RTEMS <SchedulingConcepts>`, the configuration is straightforward. All that is - required is to define the configuration option which specifies which scheduler - you want for in your application. + For the schedulers provided by RTEMS (see ${.:/document-reference/scheduler-concepts}), the + configuration is straightforward. All that is required is to define the + configuration option which specifies which scheduler you want for in your + application. The pluggable scheduler interface also enables the user to provide their own scheduling algorithm. If you choose to do this, you must define multiple |