An OS that turns on and off a gpio pin.