diff options
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:** |