Spell: Embedded operating systems