SMS dit: ARM system developer's guide :