MIT6.828 - 01.环境搭建

概述

6.S081 目标

• 理解操作系统设计与实现
• 掌握扩展迷你操作系统的实践经验
• 掌握编写系统软件的经验

环境搭建

我使用docker进行环境搭建，构建自己的image，方便部署，之后换电脑也无需重复安装各种工具。 我的image: docker pull zuojxin/xv6 (image太大了，应该是可以优化的)

docker 简单命令

• 创建自己的docker：docker build -t orige_name/image_name:tag
• 安装镜像：docker pull image_name
• 删除镜像：docker rmi image_name
• 删除容器：docker rm container_name
• 查看已安装镜像：docker images
• 启动镜像容器： docker run -t -i image_name:tag
• 保存容器：docker commit container_id image_name
• 上传镜像：docker push image_name:tag
• 本地文件拷贝到docker容器：docker cp 文件 container_id:容器内路径
• 精简image大小：http://www.dockerinfo.net/3328.html
• 清理docker缓存：https://blog.fundebug.com/2018/01/10/how-to-clean-docker-disk/

Dockerfile

1
2
3
4
5
6
7

FROM debian
LABEL xv6 <zuojxin@docker.com>
RUN apt-get update 
RUN apt-get -y install git build-essential gdb-multiarch qemu-system-misc \
    gcc-riscv64-linux-gnu binutils-riscv64-linux-gnu 
    
RUN git clone https://github.com/HeisenbergV/xv6-riscv-fall19