"An operating system for Arduino boards?" — my first thought.