A tiny embedded operating system