系统环境：ubuntu 22.04
*嫌麻烦的的话可以直接转向：0.0 seL4 环境搭建懒人版 - 简书 (jianshu.com)

以下所有文章都需要翻墙

1 安装repo

可以参考该链接进行repo的安装：源代码控制工具 | Android 开源项目 | Android Open Source Project

使用以下方法：

sudo apt-get update
sudo apt-get install repo

2 基本的编译依赖项

基本环境：

sudo apt-get update
sudo apt-get install build-essential

编译seL4的相关环境：

sudo apt-get install cmake ccache ninja-build cmake-curses-gui
sudo apt-get install libxml2-utils ncurses-dev
sudo apt-get install curl git doxygen device-tree-compiler
sudo apt-get install u-boot-tools
sudo apt-get install python3-dev python3-pip python-is-python3
sudo apt-get install protobuf-compiler python3-protobuf

仿真用的qemu

sudo apt-get install qemu-system-arm qemu-system-x86 qemu-system-misc

arm交叉编译环境

sudo apt-get install gcc-arm-linux-gnueabi g++-arm-linux-gnueabi
sudo apt-get install gcc-aarch64-linux-gnu g++-aarch64-linux-gnu

还可以安装支持硬件浮点的版本

sudo apt-get install gcc-arm-linux-gnueabihf g++-arm-linux-gnueabihf

RISC-V交叉编译环境（装起来略费事，建议这部分先不装）

sudo apt-get install autoconf automake autotools-dev curl python3 python3-pip libmpc-dev libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo gperf libtool patchutils bc zlib1g-dev libexpat-dev ninja-build git cmake libglib2.0-dev

git clone https://github.com/riscv/riscv-gnu-toolchain.git
cd riscv-gnu-toolchain
 git submodule update --init --recursive //由于工具更新，这一步不再需要了
 export RISCV=/opt/riscv
 ./configure --prefix="${RISCV}" --enable-multilib
 make linux

这里可能会出现gcc怎么都拉不下来的情况，首先对于RISC-V的交叉编译仓库，可以使用国内的镜像：

git clone https://gitee.com/mirrors/riscv-gnu-toolchain.git

另外我们修改下submodule，修改项目下的.gitmodules文件，使用镜像仓库来下。

[submodule "binutils"]
        path = binutils
        url = https://gitee.com/mirrors/riscv-binutils-gdb.git
        branch = binutils-2_40-branch
[submodule "gcc"]
        path = gcc
        url = https://gitee.com/mirrors/riscv-gcc.git
        branch = releases/gcc-12
[submodule "glibc"]
        path = glibc
        url = https://gitee.com/mirrors/riscv-glibc.git
[submodule "dejagnu"]
        path = dejagnu
        url = https://gitee.com/mirrors/riscv-dejagnu.git
        branch = dejagnu-1.6.3
[submodule "newlib"]
        path = newlib
        url = https://gitee.com/mirrors/riscv-newlib.git
        branch = master
[submodule "gdb"]
        path = gdb
        url = https://gitee.com/mirrors/riscv-binutils-gdb.git
        branch = gdb-12-branch
[submodule "qemu"]
        path = qemu
        url = https://gitlab.com/qemu-project/qemu.git
[submodule "musl"]
        path = musl
        url = https://git.musl-libc.org/git/musl
        branch = master
[submodule "spike"]
        path = spike
        url = https://github.com/riscv-software-src/riscv-isa-sim.git
        branch = master
[submodule "pk"]
        path = pk
        url = https://github.com/riscv-software-src/riscv-pk.git
        branch = master
[submodule "llvm"]
        path = llvm
        url = https://github.com/llvm/llvm-project.git
        branch = release/15.x

然后执行：

git submodule sync

另外，其实直接拉取也是可以拉取成功的，我们可以使用原来的配置，手动更新每个子仓库：

git submodule update --init --recursive --progress ./glibc

3 CAmkES编译环境

Python依赖

pip3 install --user camkes-deps

Haskell依赖

curl -sSL https://get.haskellstack.org/ | sh

或者执行

sudo apt-get install haskell-stack

编译依赖：

sudo apt-get install clang gdb
sudo apt-get install libssl-dev libclang-dev libcunit1-dev libsqlite3-dev
sudo apt-get install qemu-kvm

4 证明和Isabelle环境

要运行针对ARMv7-A架构的所有证明，需要安装以下软件包:

sudo apt-get install \
    python3 python3-pip python3-dev \
    gcc-arm-none-eabi build-essential libxml2-utils ccache \
    ncurses-dev librsvg2-bin device-tree-compiler cmake \
    ninja-build curl zlib1g-dev texlive-fonts-recommended \
    texlive-latex-extra texlive-metapost texlive-bibtex-extra \
    mlton-compiler haskell-stack repo

python

pip3 install --user --upgrade pip
pip3 install --user sel4-deps

Haskell Stack

stack upgrade --binary-only
which stack # should be $HOME/.local/bin/stack
stack install cabal-install

5 获取存储库

mkdir verification
cd verification
repo init -u https://git@github.com/seL4/verification-manifest.git
repo sync

参考文献

Host Dependencies | seL4 docs
利用码云镜像快速拉取riscv-gnu-toolchain工具链_ピンポーン的博客-CSDN博客