schedul4-manifest:schedul4 的 git-repo 清单，seL4 微内核的用户级调度程序

schedul4-清单 schedul4 是的高度实验性用户级调度程序，作为哈佛大学的最终项目开发。 作者承认他对微内核、调度和操作系统开发的熟悉程度很低。 有关此存储库的所有内容都应视为已损坏，直至另行通知。 安装 从头开始 按照官方 seL4 说明 。 简而言之，一旦您具备以下先决条件： $ mkdir schedul4-project $ cd schedul4-project $ repo init --manifest-url=https://github.com/benesch/schedul4-manifest.git $ repo sync 与流浪者 还可以使用具有工作环境的 VirtualBox VM 映像。 它最容易与安装， 是 VirtualBox 的命令行包装器。 从此目录运行： $ vagrant up $ vagrant ssh # hack away