x86系はすぐに見つかるんだけど今仕事で使っているのはARM系。 ARM系だと全然情報がないので苦労していたけど発見(英語だけど)。 仕事中に探しまくったかいがあった。 http://www.arm.com/miscPDFs/9658.pdf ちなみに以前コメントで教えていただいたサイトか…