SCHED_FIFO, which is the common first-in, first-out real-time policy.
SCHED_WEAK, which is a non real-time policy.
The scheduling policy of an EVL kernel thread is defined at creation time by the priority argument passed to the evl_run_kthread() call.
This is the rescheduling procedure for kernel space code, which is the
equivalent of the
schedule() from the in-band kernel. When and where
to call it follows this rule of thumb:
evl_schedule() MUST be called to
apply the changes to the scheduler state caused by any primitive
service which wakes up a thread, such as evl_wake_up(), or EVL services suffixed
_nosched which explicitly refrain from calling the rescheduling
procedure, such as evl_raise_flag_nosched().
there is NO need to call evl_schedule() after any EVL routine which is known to block the caller.
a code path MUST NOT call evl_schedule() while holding a spinlock.