Vehicular Operating System implementing the OSEK/VDX standard. Will be adapted - View it on GitHub