doc/user: Fix scheduler configuration

This commit is contained in:
Sebastian Huber
2012-11-07 17:09:01 +01:00
parent 2195fd27a7
commit 15aaea9769

View File

@@ -469,7 +469,7 @@ The pluggable scheduler interface enables the user to provide their own scheduli
First, you must define @code{CONFIGURE_SCHEDULER_USER} to indicate the application provides its own scheduling algorithm. If @code{CONFIGURE_SCHEDULER_USER} is defined then the following additional macros must be defined:
@itemize @bullet
@item @code{CONFIGURE_SCHEDULER_USER_ENTRY_POINTS} must be defined with the set of methods which implement this scheduler.
@item @code{CONFIGURE_SCHEDULER_ENTRY_POINTS} must be defined with the set of methods which implement this scheduler.
@item @code{CONFIGURE_MEMORY_FOR_SCHEDULER} must be defined with the
amount of memory required as a base amount for the scheduler.