GaInOS is an OSEK conformed OS based on uTenux(iTron/tkernel), It include the C embeded code and the GUI configuration tool.