arm - Ubuntu 14.04 を実行する 32 ビット ARM プロセッサを搭載した NVIDIA Tegra Jetson TK1 に Docker をインストールするにはどうすればよいですか?

Question

Docker は 64 ビット x86 Linux のみをサポートしていますが、32 ビット ARM プロセッサを搭載した Raspberry Pi 用のイメージを作成した人もいます。これらは TK1 で動作しますか? 私はDockerを初めて使用します。Python用のGnumpyパッケージを介してGPUを利用するために、JupyterhubをTK1に配置しようとしています。