文件名称:dockerfile-pintos-kaist:用于设置 Pintos 环境的 Dockerfile
文件大小:32KB
文件格式:ZIP
更新时间:2024-06-24 14:58:56
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)