代码下载
mkdir seL4test cd seL4test repo init -u https://github.com/seL4/sel4test-manifest.git repo sync
项目编译
mkdir build_aarch64 cd build_aarch64 ../init-build.sh -DPLATFORM=qemu-arm-virt -DSIMULATION=true
配置没有问题后，
运行：ninja开始编译
编译的时候发现本地电脑cmake版本过低，更新cmake
1）wget https://github.com/Kitware/CMake/releases/download/v3.23.0/cmake-3.23.0-linux-x86_64.sh 2）sudo bash ./cmake-3.23.0-linux-x86_64.sh --skip-licence --prefix=/usr
由于本地默认有cmake工具，因此安装后cmake路径：/usr/cmake-3.23.0-linux-x86_64/bin
输入如下指令，使用新安装的cmake版本：
export PATH=/usr/cmake-3.23.0-linux-x86_64/bin:$PATH
ModuleNotFoundError: No module named ‘pyfdt’
解决办法：sudo pip3 install pyfdt
ModuleNotFoundError: No module named ‘jinja2’
解决办法： sudo pip install markupsafe sudo pip install jinja2
AttributeError: module ‘yaml’ has no attribute ‘FullLoader’
解决方案：sudo pip3 install --ignore-installed PyYAML
xmllint: command not found
解决方案：sudo apt-get install libxml2-utils
ModuleNotFoundError: No module named ‘past’
解决方案：sudo pip3 install future
ModuleNotFoundError: No module named ‘ply’
解决方案：sudo pip3 install ply
ModuleNotFoundError: No module named ‘libarchive’
解决方案： sudo apt install libarchive-dev sudo pip3 install --ignore-installed libarchive
AttributeError: module ‘libarchive’ has no attribute ‘entry’
解决方案：sudo pip3 install libarchive-c
运行
解决编译问题后，就可以运行了
./simulate
参考链接
链接: sel4编译环境设置
