ARM developer's guide, designing & optimizing system software - Sloss, Andrew N. (Morgan Kaufmann, 2013)