本文译至：http://sel4.systems/Download/FedoraToolChain.pml
要构建一个seL4项目，你需要相应的工具链。 sel4test只需要相应的编译器，链接器和GNU make。用于运行image，qemu是理想的。
CentOS 和 Fedora上的工具链
这些说明仅供参考 - 在NICTA我们通常使用Debian衍生版本系统。
在所有基于RPM的变体执行相应的处理，然后对应你的系统执行相应的处理。
所有基于RPM的系统
基础
要获得一个可用的构建系统，安装 Development Tools group, which, ncurses-devel 和 python-tempita模板库。您还可以安装ccache 来让它加速第二次及以后的编译。
sudo yum groupinstall 'Development Tools' sudo yum install which ncurses-devel python-tempita ccache
CAmkES额外的包
使用CAmkES（seL4组件系统）的项目除了需要标准的构建工具，还需要Haskell和一些额外的Python库。
从仓库得到大部分的包; 一些Haskell和Python库，必须手动安装。
sudo yum groupinstall haskell sudo yum install cabal-install cabal update cabal install data-ordlist missingh split sudo yum install python-pip sudo pip install --upgrade pip sudo pip install pyelftools jinja2 ply
安装到用户目录上，而不是系统目录。
Fedora
ARM的目标板搭建系统你需要一个arm交叉编译器; 要在模拟器上运行你需要qemu。
yum install 'arm-none-*' qemu
CentOS
获得交叉编译器。寻找arm-none-eabi-gcc。
CentOS的也没有预包装的QEMU。你将不得不从源代码编译。
git clone git://git.qemu.org/qemu.git cd qemu ./configure --target-list=arm-softmmu make -j
编译生成的qemu 二进制在 arm-softmmu/qemu-system-arm。
标签：Fedora,CentOS,sudo,yum,install,seL4,qemu,arm From： https://blog.51cto.com/u_16097040/6244607