diff options
| author | Joel Sherrill <joel@rtems.org> | 2016-10-28 15:56:19 -0500 |
|---|---|---|
| committer | Joel Sherrill <joel@rtems.org> | 2016-10-28 15:56:19 -0500 |
| commit | 01a36eedc5ecb4ba26aa57507bb584d117ee3f03 (patch) | |
| tree | db22043b461fccb45be440519fbe5027c96114c7 /c_user/configuring_a_system.rst | |
| parent | cpu_supplement: Fixed numbered list (diff) | |
| download | rtems-docs-01a36eedc5ecb4ba26aa57507bb584d117ee3f03.tar.bz2 | |
c_user: Fix numbered lists.
Diffstat (limited to '')
| -rw-r--r-- | c_user/configuring_a_system.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/c_user/configuring_a_system.rst b/c_user/configuring_a_system.rst index fdd255a..9c36b2d 100644 --- a/c_user/configuring_a_system.rst +++ b/c_user/configuring_a_system.rst @@ -4127,9 +4127,9 @@ clusters. Clusters with a cardinality of one are partitions. Each cluster is owned by exactly one scheduler instance. In order to use clustered scheduling the application designer has to answer two questions. -# How is the set of processors partitioned into clusters? +#. How is the set of processors partitioned into clusters? -# Which scheduler is used for which cluster? +#. Which scheduler is used for which cluster? **CONFIGURATION:** |