1. 打开RTEMS工具链网址
http://www.rtems.org/ftp/pub/rtems/linux/
下载 gpg-pubkey-69ce4a83-44cc2b30 到本地
2. 导入RTEMS的共有KEY
apt-key add gpg-pubkey-69ce4a83-44cc2b30
3. 在ubuntu的仓库中添加RTEMS 源
第一种方法是直接增加一个list文件到 /etc/apt/sources.list.d 这个目录
rtems-ftp.list
deb http://www.rtems.org/ftp/pub/rtems/linux/4.11/ubuntu/ precise rtems4.11
deb-src http://www.rtems.org/ftp/pub/rtems/linux/4.11/ubuntu/ precise rtems4.11
第二种方法是通过图形界面添加
这两条语句到
4.刷新安装
然后在命令行apt-get update或者用新立得软件刷新一下就可以看到rtems 4.11的工具了,