Real-time 32-bit microcontroller with OSEK/VDX operating system support