Spell: Real-time operating systems