seL4国内安装遇到的一些问题

由于上游的cmake源没有更新了，第三方的源也已经失效了，官方也意识到这个问题，估计等他们做Ubuntu 20.04 的适配的时候会解决把。 暂时可以通过用snapd来安装cmake解决

sudo apt autoremove cmake
sudo snap install cmake -classic

对于python的依赖安装可以通过使用国内的镜像来提高速度，有兴趣的可以设置全局源。

 pip install  -i https://pypi.tuna.tsinghua.edu.cn/simple ninja  

ninja 这个包好像官方也漏了。官方好像漏了三个包现在，看到错误不要着急，找一下错误原因。对于repo初始化失败，可以用https_proxy这个全局参数来使用梯子解决，注意端口要使用http的端口（根据你的设定）。

https_proxy=localhost:8123 repo init -u  https://github.com/seL4/sel4test-manifest.git
https_proxy=