代码下载：
mkdir sel4-tutorials cd sel4-tutorials repo init -u https://github.com/seL4/sel4-tutorials-manifest repo sync
设置本地cmake版本
export PATH=/usr/cmake-3.23.0-linux-x86_64/bin:$PATH
查看编译指令的帮助：
./init -h usage: init [-h] [--verbose] [--quiet] [--plat {pc99,zynq7000}] --tut {hello-world,ipc,dynamic-1,dynamic-2,dynamic-3,dynamic-4,hello-camkes-0,hello-camkes-1,hello-camkes-2,hello-camkes-timer,capabilities,untyped,mapping,camkes-vm-linux,camkes-vm-crossvm,threads,notifications,mcs,interrupts,fault-handlers}
首先我们编译hello world教程
开始编译
./init --tut hello-world cd hello-worldsn_5olnb_build ninja
开始运行：
./simulate
结束运行：
CRTL+A X
安装缺少依赖python库（根据编译报错提示安装）
sudo pip3 install sh sudo pip3 install pyaml sudo apt-get install qemu-system-x86
