The Nucleus kernel comes in three forms, including one that's compatible with the Japan Itron standard and another with the auto industry OSEK standard. These are based on the main Nucleus kernel.