这部分的目的是验证环境的可用性。

0 python依赖

pip3 install aenum
pip3 install pyelftools

1 拉取代码

mkdir sel4-tutorials-manifest
cd sel4-tutorials-manifest
repo init -u https://github.com/seL4/sel4-tutorials-manifest
repo sync -j4

安装几个依赖包：

pip3 install sh
pip3 show jinja2
pip3 install future
pip3 install pyaml
pip3 install sortedcontainers
pip3 install ply

2 编译

执行：

./init --tut hello-world

此时会生成一个新的文件夹（名字可能会变化）：

image.png

进入该文件夹，使用ninja编译：

cd hello-worldjy52saoz_build/
ninja

备注：
需要使用帮助的话，可以添加--solution:

../init --plat <platform> --tut <tutorial exercise> --solution

3 运行

./simulate

image.png

使用Ctrl-A, X 退出