Some minor inline assembly corrections and portThdStart_() is marked as
noreturn
Formatting
scheduler functions are a bit more optimized
Scheduler Add function is faster now
FIX: portSysTmrIsrDisable now clears pending SYSTICK interrupt, too
Some function documentation was added
UPDATE: CFG_SCHED_SYSTMR_MODE configuration option: configure System
Timer Power Savings mode
macro PORT_CRITICAL_EXIT_SLEEP() does not use parameter anymore
Finally system timer functions seems to be nice
UPDATE: Initial API for semaphores
UPDATE: Initial API for linked lists fetched from Linux Kernel
syhedSysTmrI() will not check if the current thread is single in the
list. It is assumed that the system timer will call the function only
when needed.