インターネットに接続されていない Linux マシン (RedHat 5 x86_64) で mbed オフラインコンパイル環境を構築。GNU Tools for ARM Embedded Processors [launchpad.net] でコンパイル済み GCC バイナリ gcc-arm-none-eabi-4_7-2012q4-20121208-linux.tar.bz2 をダウンロード。
展開し、arm-none-eabi-g++ などの入っているディレクトリを PATH に追加すれば、gcc4mbed [github.com] で linux_install せずに make するだけでサンプルプロジェクトがコンパイルできた。linux_install は GCC バイナリのダウンロード、md5 の確認までしてくれるため、インターネット接続が必要。ダウンロードするバイナリも若干古い。
