Windows10 怎么装 Pintos:从环境准备到跑通测试,一篇讲明白
目标关键词:Windows10 安装 Pintos
Pintos 是很多操作系统课程里会用到的教学内核项目,适合拿来做进程调度、虚拟内存、文件系统等实验。
但它本身更偏向 Linux/Unix 环境,所以在 Windows10 上不能直接“下一步安装完就用”,通常要先搭一层 Linux 环境,最稳妥的方式是:
- 方案一:WSL2 + Ubuntu
- 方案二:VMware/VirtualBox 虚拟机安装 Ubuntu
- 方案三:双系统 Linux
如果你是 Windows10 用户,想低成本、操作简单、尽量少折腾,优先推荐 WSL2。
如果你是课程实验、老师要求严格、需要更稳定的编译环境,推荐虚拟机 Ubuntu。
下面我按新手也能看懂的方式,手把手讲清楚。
一、问题分析:为什么 Windows10 不能直接装 Pintos
Pintos 不是传统意义上的 Windows 软件,它需要:
gcc编译器makeperlgdbqemu或bochs- 一套类 Unix 的命令行环境
而 Windows10 原生环境里,这些工具不完整,很多脚本也不兼容。
所以正确思路不是“在 Windows 上直接安装 Pintos”,而是:
先在 Windows10 上准备 Linux 环境,再在 Linux 环境里安装 Pintos。
二、最推荐方案:Windows10 + WSL2 安装 Pintos
WSL2 是 Windows 的 Linux 子系统,适合不想装虚拟机的用户。
优点是:
- 不用重启切系统
- 占用资源少
- 操作方便
- 适合日常实验和编译
1. 开启 WSL2
第一步:打开管理员 PowerShell
在开始菜单搜索:
PowerShell
然后右键选择:
- 以管理员身份运行
第二步:执行安装命令
直接输入:
wsl --install
如果你的 Windows10 版本较旧,这条命令可能不可用。
那就手动开启功能:
dism.exe /online /enable-feature /featurename:Microsoft-Windows-Subsystem-Linux /all /norestart
dism.exe /online /enable-feature /featurename:VirtualMachinePlatform /all /norestart
执行后重启电脑。
第三步:设置 WSL2 为默认版本
wsl --set-default-version 2
第四步:安装 Ubuntu
打开 Microsoft Store,搜索:
- Ubuntu 20.04 LTS 或 Ubuntu 22.04 LTS
建议优先装 Ubuntu 20.04,很多课程资料和旧版 Pintos 更兼容。
安装后第一次打开,系统会让你创建 Linux 用户名和密码,照提示做即可。
2. 在 Ubuntu 里安装 Pintos 依赖环境
打开 Ubuntu 终端,先更新软件源:
sudo apt update
sudo apt upgrade -y
然后安装常用依赖:
sudo apt install -y build-essential gdb qemu-system-x86 perl gcc-multilib libc6-dev-i386 make automake autoconf libtool pkg-config git python3
如果课程资料要求 bochs,也可以补装:
sudo apt install -y bochs bochs-sdl bochs-x
3. 下载 Pintos 源码
通常课程会提供 Pintos 压缩包或 Git 仓库。
如果你已经有源码,建议放在 Linux 文件系统里,不要直接放 Windows 的 C 盘桌面,避免权限和路径问题。
例如在 Ubuntu 里创建目录:
mkdir -p ~/os/pintos
cd ~/os/pintos
如果是 Git 仓库,可以直接克隆:
git clone 仓库地址
如果是压缩包,先解压到这个目录。
4. 配置 Pintos 工具链
进入 Pintos 目录后,通常需要把工具目录加到环境变量里。
以课程常见结构为例,可能要执行:
cd ~/os/pintos/src/utils
make
然后把工具加入 PATH:
echo 'export PATH=$PATH:~/os/pintos/src/utils' >> ~/.bashrc
source ~/.bashrc
有些版本还需要设置 PINTOS_HOME,例如:
echo 'export PINTOS_HOME=~/os/pintos' >> ~/.bashrc
source ~/.bashrc
5. 编译 Pintos
进入内核源码目录,通常是:
cd ~/os/pintos/src/threads
make
如果编译正常,会生成对应的镜像文件。
如果报错,最常见原因有:
- 缺少依赖包
- 目录路径不对
- 使用了 Windows 文件系统路径
- Ubuntu 版本与教材不匹配
6. 运行测试
Pintos 常见运行方式类似:
pintos -- run alarm-single
或者课程会提供测试脚本:
make check
如果是你做实验,通常还会看到 tests、build、kernel.bin 等文件。
三、如果 WSL2 不稳定,推荐虚拟机方案
如果你是做课程实验,或者 Pintos 一直报路径、权限、驱动问题,虚拟机方案更稳。
1. 安装虚拟机软件
任选一个:
- VMware Workstation Player
- VirtualBox
这两个都可以免费使用,个人学习足够。
2. 安装 Ubuntu 镜像
下载 Ubuntu ISO,例如:
- Ubuntu 20.04 LTS
然后创建虚拟机:
- 内存:4GB 起步,建议 8GB
- 硬盘:40GB 以上
- CPU:2 核起步
3. 在 Ubuntu 中安装依赖
同样执行:
sudo apt update
sudo apt install -y build-essential gdb qemu-system-x86 perl gcc-multilib libc6-dev-i386 make git
然后按上面的 Pintos 步骤继续操作即可。
四、Windows10 上安装 Pintos 的常见问题
1. make: command not found
说明没装 make 或没装编译工具链。
解决:
sudo apt install -y build-essential
2. gcc: error: unrecognized command line option '-m32'
这通常是 32 位编译环境没装全。
解决:
sudo apt install -y gcc-multilib libc6-dev-i386
3. pintos: command not found
说明 Pintos 工具路径没加入环境变量。
解决:
echo 'export PATH=$PATH:~/os/pintos/src/utils' >> ~/.bashrc
source ~/.bashrc
4. 放在 Windows 目录里编译失败
比如你把代码放在:
C:\Users\你的名字\Desktop\pintos
这类路径经常在 WSL2 下出问题,尤其是权限和符号链接。
建议把项目放到 Linux 家目录,例如:
~/os/pintos
5. QEMU 无法启动
检查是否装了 QEMU:
sudo apt install -y qemu-system-x86
如果课程要求 Bochs,就按要求补装 Bochs。
五、Pintos 安装完成后,建议先做这几步
1. 先确认工具是否齐全
gcc --version
make --version
gdb --version
qemu-system-x86_64 --version
如果这些命令都能正常输出版本号,说明基础环境没问题。
2. 先跑课程自带样例
不要一上来就改内核代码,先确认最基本的测试能跑通。
这样后面出问题时更容易定位。
3. 备份原始代码
建议在开始实验前做一份备份:
cp -r pintos pintos_backup
改坏了能快速恢复。
六、最省心的安装建议
如果你只想要一个直接能用的结论:
新手最推荐
Windows10 + WSL2 + Ubuntu 20.04 + Pintos
适合:
- 想少装软件
- 不想折腾双系统
- 只是做作业、跑实验
最稳妥推荐
Windows10 + VMware 虚拟机 + Ubuntu 20.04 + Pintos
适合:
- 学校课程要求严格
- 需要兼容性更高
- 不想被 Windows 路径坑
七、安装 Pintos 的完整简化步骤
如果你想直接照着做,可以按这个顺序来:
WSL2 路线
- 管理员 PowerShell 执行
wsl --install - 安装 Ubuntu 20.04
sudo apt update && sudo apt upgrade -y- 安装依赖包
- 下载 Pintos 源码到
~/os/pintos cd src/utils && make- 配置 PATH
cd src/threads && make- 运行测试
八、注意事项
1. 不要把 Pintos 放到 Windows 桌面直接操作
最好放在 Linux 目录里,避免兼容性问题。
2. 尽量用 Ubuntu 20.04
很多教材、实验指导、脚本都更偏向这个版本。
3. 先装依赖,再编译
Pintos 报错很多时候不是代码问题,而是工具没装全。
4. 版本别乱混
不要一会儿 WSL2,一会儿虚拟机,一会儿本机 Windows 路径混着用,容易把环境搞乱。
5. 实验前先确认老师要求
有的课程会指定:
- 必须 Bochs
- 必须某个 Ubuntu 版本
- 必须特定 Pintos 代码包
这时候优先按课程要求来,不要自己乱升级。
九、总结
Windows10 不能直接原生安装 Pintos,正确做法是先搭 Linux 环境。
对于大多数人来说:
- 想简单:用 WSL2
- 想稳定:用虚拟机 Ubuntu
- 想长期开发:双系统
只要把系统环境搭对,再安装依赖、配置路径、编译源码,Pintos 就能正常跑起来。
对于新手来说,最关键的不是“会不会装”,而是先把 Linux 环境 + 编译工具链 + 正确目录结构 这三件事弄明白,这样后面做实验会顺很多。

还没有评论,来说两句吧...