Armadilloフォーラム

　現在ArmのTrustZoneに関する開発を行いたく、情報収集をしております。
　下記リンクにありますサンプルソースをArmadillo-840のCortex-a9で動かしたいのですが、方法についてご教示いただけますでしょうか。
　http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.faqs/ka1541…
開発環境は以下のPCにATDE5をインストールしております。
開発環境1
PC: DELL Latitude E7270
OS: Ubuntu 14.04
CPU: Core i7-6600U
メモリ: 8GB DDR4
SSD: 256GB
開発環境2
PC: NEC MK37L/B-N
OS: Windows7
CPU: Core i3-4170
メモリ: 4GB DDR3
HDD: 500GB

以上よろしくお願いいたします