docker-barrelfish:用于Barrelfish OS构建工具的Docker映像

用于Barrelfish OS构建工具的Docker映像 该存储库包含用于在本地构建和运行Docker映像。 自举容器 首先，必须分别使用make build或make pull从构建或获取。 接下来，必须根据图像创建一个容器。 make create SRC_PATH=... BUILD_PATH=...将完成这项工作。 SRC_PATH对应于Barrelfish OS源代码树和BUILD_PATH到其中将包含本地机器上构建工件的目录。 最后， make start将打开一个终端，可以从中编译和运行OS。 编译并运行 为了首次编译操作系统，进入终端后需要执行以下命令： cd /barrelfish_build && /barrelfish_src/hake/hake.sh -s /barrelfish_src -a x86_64 cd /barrelfish_build && m