这部分的目的是验证环境的可用性。
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 退出
网友评论