code download
mkdir seL4test
cd seL4test
repo init -u https://github.com/seL4/sel4test-manifest.git
repo sync
project compilation
mkdir build_aarch64
cd build_aarch64
../init-build.sh -DPLATFORM=qemu-arm-virt -DSIMULATION=true
After there is no problem with the configuration,
run: ninja starts compiling
When compiling, it is found that the cmake version of the local computer is too low, update 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
Since the local cmake tool is available by default, the cmake path after installation: /usr/cmake-3.23.0-linux-x86_64/bin
Enter the following command to use the newly installed cmake version:
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
run
After solving the compilation problem, you can run
./simulate