"Presto", a minimal real time operating system (RTOS)