"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 KEE16 is a static library that contains thunking code to call the 32-bit KEE API from a 16-bit driver.