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