A simple embedded OS