我在 Ubuntu 12.04 上遇到问题。我正在尝试按照以下说明在 Linux 上刷新 Toradex Colibri T20：http://falstaff.agner.ch/2014/03/16/colibri-t20-upstream-linux-kernel/。
但是，当我运行
make -j 8
命令，终端显示，我的 DTC 版本应该是 1.4.0 或更高版本。所以我检查了
dpkg -s device-tree-compiler | grep Version
结果是
Version: 1.3.0-2ubuntu1
所以我在谷歌上搜索并找到了这个网站：https://launchpad.net/ubuntu/+source/device-tree-compiler。最新的稳定版本标记为 1.4.0，但当我尝试使用
sudo apt-get install device-tree-compiler
它说
device-tree-compiler is already the newest version.
所以我在这里遗漏了什么，我是否必须向 apt-get 添加一个特殊的存储库才能获得最新版本或其他东西？