SEL4 tutorial hello-camkes-0

依赖安装

sudo pip3 install plyplus
sudo pip3 install ordered_set
sudo apt-get install haskell-stack
sudo apt-get install texlive-bibtex-extra
sudo apt-get install mlton-compiler
sudo apt-get install texlive-latex-extra texlive-metapost
sudo pip3 install --user camkes-deps
sudo apt-get install libssl-dev libclang-dev libcunit1-dev libsqlite3-dev
stack upgrade --binary-only #重要，一定执行，然后查看是否正确，否则我这里编译一直报错
which stack # should be $HOME/.local/bin/stack

sudo apt-get install cmake-curses-gui

编译

./init --tut hello-camkes-0
cd hello-camkes-0miwkds3p_build
ninja

注: 运行脚本或者编译过程中可能还缺少其他工具，根据报错安装即可
注： 链接: 编译工具和环境依赖可以参考
注： 需要保持足够存储空间，编译的时候遇到卡着不动的现象，最后报出来空间不足，解决空间不足问题后，可以编译成功。

运行

./simulate