SEL4 tutorial-helloworld

代码下载：

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

参考网站：

链接: sel4 tutorial hello-world
链接: sel4 tutorial代码获取