ARM system developer's guide : designing and optimizing system software / by Andrew N. Sloss, Dominic Symes, Chris Wright.. - Sloss, Andrew N.