英文:
sel4 Verify the environment setup
问题
"现在我正在设置sel4验证环境，但我看到博主说“将isabelle路径链接到验证目录”，我想问这是什么意思？
您想将isabelle下载到验证目录吗？"
英文:
Now I am setting up sel4 verification environment, but I see the blogger said "link isabelle path to verification directory", I would like to ask what it means？
Do you want to download isabelle to the verification directory？
答案1
得分: 1
以下是要翻译的内容：
要为 seL4 设置一个验证环境，您应该按照以下步骤进行：
-
安装 Google repo 工具，并按照此处描述下载 seL4 验证清单：https://github.com/seL4/verification-manifest/blob/master/README.md
-
按照此处描述安装 seL4 验证所需的依赖项：https://github.com/seL4/l4v/blob/master/docs/setup.md
-
按照此处描述运行证明：https://github.com/seL4/l4v/#running-the-proofs
英文:
To set up a verification environment for seL4, you should follow these steps:
-
install the Google repo tool and download the seL4 verification manifest as described here: https://github.com/seL4/verification-manifest/blob/master/README.md
-
install the dependencies for seL4 verification as described here: https://github.com/seL4/l4v/blob/master/docs/setup.md
-
run proofs as described here: https://github.com/seL4/l4v/#running-the-proofs
通过集体智慧和协作来改善编程学习和解决问题的方式。致力于成为全球开发者共同参与的知识库，让每个人都能够通过互相帮助和分享经验来进步。
评论