SEL4 for aarch64 on qemu编译运行

代码下载

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编译环境设置