UPDATE: TODO list
NEW: PORT_C_NORETURN macro was added
UPDATE: esKernStart() is declared as no return function
UPDATE: esTmr structure was moved to kernel.h