Zaslat SMS: ARM system developer's guide : designing and optimizing system software / Andrew N. Sloss, Dominic Symes, Chris Wright ; with a contribution by John Rayfield.