【文件属性】：
文件名称：dockerfile-pintos-kaist:用于设置 Pintos 环境的 Dockerfile
文件大小：32KB
文件格式：ZIP
更新时间：2021-06-04 21:12:16
Perl
dockerfile-pintos-kaist
KAIST CS330 的 Pintos dockerfile
如何使用
从终端获取 Docker：
docker pull yhpark/pintos-kaist
将卷/pintos附加到您的 pintos 目录中，然后运行命令。
docker run -i -t -v < PATH> :/pintos yhpark/pintos-kaist bash
Docker 以 root 身份运行，因此如果您执行make或某些生成文件的命令，生成的文件仍归root 。 为避免这种情况，请考虑将entry.sh添加到您的pintos目录中：
#! /bin/bash
useradd -u < UID> < USER>
su < USER> --session-command bash
请注意，如果您希望 D
【文件预览】：
dockerfile-pintos-kaist-master
----pintos-misc()
--------bochs-2.2.6-build.sh(1KB)
--------gcc-3.3.6-cross-howto(1KB)
--------bochs-2.2.6-big-endian.patch(3KB)
--------bochs-2.2.6-ms-extensions.patch(451B)
--------bochs-2.2.6-paranoia.patch(702B)
--------bochs-2.2.6-triple-fault.patch(2KB)
--------bochs-2.2.6-jitter.patch(2KB)
--------bochs-2.2.6-gdbstub-ENN.patch(810B)
--------gdb-macros(3KB)
--------bochs-2.2.6-page-fault-segv.patch(3KB)
--------bochs-2.2.6-solaris-link.patch(511B)
--------bochs-2.2.6-solaris-tty.patch(2KB)
----Dockerfile(1KB)
----LICENSE(1KB)
----pintos-utils()
--------setitimer-helper.c(1KB)
--------pintos-mkdisk(975B)
--------pintos(26KB)
--------squish-unix.c(9KB)
--------squish-pty.c(9KB)
--------backtrace(3KB)
--------pintos-gdb(429B)
--------.cvsignore(40B)
--------Makefile(238B)
----README.md(1KB)