sel4

英文: sel4 Verify the environment setup 问题 "现在我正在设置sel4验证环境，但我看到博主说“将isabelle路径链接到验证目录”，我想问这是什么意思...