Sylphide OS: a general-purpose OS for microcontroller-based computers