a lightweight OSEK for Arduino