From 15aaea97698576ad2e4490c802ab642a3aabfc9f Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Wed, 7 Nov 2012 17:09:01 +0100 Subject: doc/user: Fix scheduler configuration --- doc/user/conf.t | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/user/conf.t') diff --git a/doc/user/conf.t b/doc/user/conf.t index 0255629fa3..fb0c45c138 100644 --- a/doc/user/conf.t +++ b/doc/user/conf.t @@ -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. -- cgit v1.2.3