设置 WSL

WSL 是 Windows Linux Subsystem 的简称，可以在 Windows 中运行 Linux 虚拟机。

1. 打开 powershell

   按下 Win + R 输入 PowerShell 后打开

2. 安装 wsl

   输入 winget install wsl

3. 下载 wsl 发行版

   在微软商店里面搜索 ubuntu 或者任何你喜欢的 linux 发行版，并下载安装

4. 启用虚拟机服务

   启用 wsl 在 powershell 中输入 dism.exe /online /enable-feature /featurename:VirtualMachinePlatform /all /norestart

5. 重启

   system-reboot

重启之后重新在 powershell 中输入 wsl ~ ，设置用户名和密码之后 ，就可以进入 linux 的用户主目录了，我安装的是 ubuntu

拉取 CSCC69-Pintos 仓库

pintOS目前的升级版有很多，CSCC69-Pintos 是 CSCC69 课程所使用的仓库，并且最近仍在使用，推介使用

1. 安装 git

   sudo apt-get install git

2. 拉取 repo

   git clone https://github.com/ThierrySans/CSCC69-Pintos.git

3. 安装 qemu gdb (非必须)

   sudo apt-get install qemu
   安装之后查看是否有 qemu-system-i386
   sudo apt-get install gdb

编译 pintOS 工具(Bochs)

Bochs 不知道是用来干嘛的，官方文档明确指明如果使用 qemu ，则不需要编译 bochs，编译的话在 /src/utils 中 make 即可

cd src/utils
make

添加 pintOS 工具到 PATH

export PATH=你的pintos上级目录/src/utils:$PATH
添加到 bashrc (可选)

pintOS 的环境安装就到此结束了……