KEE (Kernel Execution Environment)

"KEE" is the "kernel execution environment", a set of functions like kernel mutexes and the like that you will need when you write a multi-core compliant device driver.
 * Kernel Execution Environment Functions