c_user: Fix numbered lists.

This commit is contained in:
Joel Sherrill 2016-10-28 15:56:19 -05:00
parent 4cc9094bce
commit 01a36eedc5
2 changed files with 5 additions and 5 deletions

View File

@ -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:**

View File

@ -113,11 +113,11 @@ peripherals to access one another using Memory or I/O accesses and that
interrupts are properly handled. Three different spaces are defined and mapped
separately:
# I/O space (IO)
#. I/O space (IO)
# non-prefetchable Memory space (MEMIO)
#. non-prefetchable Memory space (MEMIO)
# prefetchable Memory space (MEM)
#. prefetchable Memory space (MEM)
Regions of the same type (I/O or Memory) may not overlap which is guaranteed by
the software. MEM regions may be mapped into MEMIO regions, but MEMIO regions