百度360必应搜狗淘宝本站头条
当前位置:网站首页 > IT知识 > 正文

XV6 操作系统入门系列-01-环境配置

liuian 2025-08-05 19:31 29 浏览

xv6 是一个用于教育目的的简单 Unix 操作系统,基于 Unix 第六版(Version 6, V6)开发,运行在 RISC-V 处理器上。它由麻省理工学院(MIT)开发,用于操作系统课程(Operating System Engineering[1])教学,帮助学生理解操作系统的基本概念和实现原理。

最近我突发奇想,想再研究一遍操作系统 xv6 。当即打开电脑,根据官方教程一通安装,成功启动 xv6 ,过程非常顺利!最大的感受就是,现在安装 xv6 依赖的软件真是太简单了,真是学习操作系统最好的时候。

学习过程往往需要一个梯子,xv6 是最好的学习操作系统的梯子,毫无疑问。我希望我的这个系列文章,也成为一个好的梯子,给想学习操作系统的同学足够的帮助。

第一步-安装依赖

在早些年,要想运行 xv6 可太难了,经常会碰到各种各样的问题。但是现在按照官方的安装教程[2],非常顺利。 如果我说请点开另外的链接来查找安装指令,可太令人恼火了。所以我汇总在这里:

  • o Linux-Ubuntu24 及以后的版本
sudo apt-get install git build-essential gdb-multiarch qemu-system-misc gcc-riscv64-linux-gnu binutils-riscv64-linux-gnu
  • o Windows-使用 WSL2
sudo apt-get update && sudo apt-get upgrade
sudo apt-get install git build-essential gdb-multiarch qemu-system-misc gcc-riscv64-linux-gnu binutils-riscv64-linux-gnu
  • o MacOS
# 安装MacOS上的XCode开发工具
xcode-select --install
# 安装Homebrew
/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
# 安装riscv编译工具链
brew tap riscv/riscv
brew install riscv-tools
# 安装CPU模拟器平台QEMU,模拟RISC-V处理器。
brew install qemu

第二步-下载源代码

下载源码需要用到 git 工具,源代码分为三个部分

  • o xv6 的源代码 git clone https://github.com/mit-pdos/xv6-riscv.git
  • o xv6 的教材 git clone https://github.com/mit-pdos/xv6-riscv-book.git
  • o xv6 的实验代码 git clone git://g.csail.mit.edu/xv6-labs-2024

我们进入xv6-riscv 文件夹,输入 make qemu ,如果出现如下画面,说明我们的环境搭建成功了,并且成功运行了 xv6 操作系统。

官方没有说清楚的内容

1. 如何退出 xv6

这是很多初学者非常容易遇到的不值得卡住的困难:如何退出 xv6。资料会告诉我们按下 Ctrl + a x。但是注意了,这存在重大歧义。 实际上,这个快捷键对应三个步骤:

  • o 同时按下 Ctrla 键;
  • o 同时放松 Ctrla 键;
  • o 单独按下 x 键。 如果这个提示对你有帮助,就请给我点个赞吧。

2. 如何配置官方推荐的 Debug 工具——GDB

第一步,如果你使用的是 Linux 或者 Window,这里没有什么问题。但是如果你使用的是 MacOS,你会遇到没有 GDB 的情况,请不要慌张,我们只需要安装一下它:

brew install riscv64-elf-gdb

第二步,我们配置 GDB,让它能够自动读取 xv6 项目文件夹下的 GDB 的配置文件。

mkdir -p ~/.config/gdb # 在用户配置目录下创建gdb文件夹
touch ~/.config/gdb/gdbinit # 创建用户个人的gdb全局配置文件
echo 'set auto-load safe-path /' > ~/.config/gdb/gdbinit # 允许GDB自动加载配置文件

第三步,在 xv6-riscv 文件夹下,调用 make qemu-gdb 来编译可 Debug 的 xv6 操作系统镜像。我们可以看到,make 同时生成了镜像文件 fs.img 和 针对这个项目 gdb 配置文件 .gdbinit

编译

第四步,在保持第三步的 terminal 不变的情况下,打开一个新的 terminal,调用 gdb 来进入 debug 界面。

  • o Linux 或者 Windows:gdb-multiarch
  • o MacOS: riscv64-elf-gdb

GDB调试

小结

我们提炼总结一下上面的内容。我们一共安装了四个内容,它们的依赖关系是这样的:首先下载 XV6 源码,然后调用 Risc-V 编译工具编译成二进制文件,然后使用 Qemu 模拟器运行二进制文件,最后调用 GDB 调试工具调试 Qemu。

工具依赖关系

引用链接

[1] Operating System Engineering: https://pdos.csail.mit.edu/6.828/2024/index.html
[2] 官方的安装教程:
https://pdos.csail.mit.edu/6.828/2024/tools.html

相关推荐

ip怎么改地址(怎么改ip地区)
  • ip怎么改地址(怎么改ip地区)
  • ip怎么改地址(怎么改ip地区)
  • ip怎么改地址(怎么改ip地区)
  • ip怎么改地址(怎么改ip地区)
一键ghost备份还原工具绿色版硬盘版

可以的。1.打开GHOST软件,接受许可协议,点击OK。2.从图像中选择Local→Partition→,3.选择镜像文件所在的分区,找到镜像文件(winxp.gho),然后单击enter。4.显示镜...

2010office官方下载免费完整版
  • 2010office官方下载免费完整版
  • 2010office官方下载免费完整版
  • 2010office官方下载免费完整版
  • 2010office官方下载免费完整版
延缓写入失败电脑卡死(电脑显示延缓写入失败)

您好,请您检查下是否有人下载、网络电影等极大占据带宽的行为还有可能是您的地区网络和游戏服务器之间的网络衔接不佳,您可以使用一款网游加速器来解决希望对您有所帮助

手机变电脑桌面免费版(手机秒变电脑桌面下载破解版免费)

方法一、无需特别硬件,PC开热点手机连上即可投影,支持用PC的键鼠控制设备,如果是用来演示的话,这是解决方案之一。方法二、类似投影仪的原理这个需要设备制造商提供例如HDMI的输出支持,Android代...

惠普打印机墨盒怎么加墨水(惠普2622打印机怎么换墨盒)

惠普墨盒加墨水的步骤如下:确保墨盒已加满,取下墨盒。准备一张干净的纸,将墨盒放在上面。注意每个墨盒的顶上贴着一张胶纸,一般胶纸下面就会有注入墨水的孔。小心加墨一次挤入不能太多。如果打印墨色浅,可以在设...

tplink无线路由器桥接教程(tplink路由器如何进行无线桥接)

步骤1:将扩展路由器插电源,不要插网线。步骤2:看易展路由器底部标签的SSID,打开手机的wifi设置,搜索这个wifi信号步骤3:链接上易展路由器的wifi信号步骤4:进入设置界面,部分手机可以自动...

怎样还原电脑原来的系统(咋样还原电脑系统)

首先,我们必须确保打开系统还原,否则无法恢复操作系统。在确保已打开的情况下,单击菜单,选择“附件”,点系统工具,并还原系统。接下来,打开系统还原,找到系统还原点,找到最佳适合系统还原的时间点,但确保系...

惠普服务中心电话(孚惠教育退费服务中心电话)

百脑汇里有两家鸿鹄的店面,电话分别是85133339/88609104

win7装xp怎么装系统(windows7装xp)

Windows7和WindowsXP是两个不同的操作系统。但是安装的方法是相同的。第1种就是用安装盘。放入光驱以后。设置启动项以光驱优先,重启电脑,安装光盘,自动引导,按照提示一步一步的就可以安装...

磁盘不相邻怎么扩展卷(磁盘分区不相邻)

要扩展不相邻的磁盘,可以使用磁盘扩展技术,如磁盘阵列(RD)或逻辑卷管理(LVM)。RAID可以将多个磁盘组合成一个逻辑卷,提供更大的存储空间。LVM允许将多个物理卷组合成一个逻辑卷组,并在其中创建逻...

cad2018永久激活密钥(cad 2018激活)

1、首先打开未激活的CAD软件,点击输入序列号。2、选择我同意后进入下一步。然后再点击界面右下角的激活。3、然后输入序列号:666-69696969和产品密钥:001J1。4、然后在界面内点选选择&#...

文件管理应用(文件管理应用同意怎么设置)

推荐文件极客App,免费下载,无广告无内购,功能强大。文件极客app是一款强大的本地、网络文件、iCloud文件共享管理专家,专注于iOS文件一体化管理。在文件极客里面,我们可以通过简单的拖动操作...

ghost64下载(ghost64下载)

方法/步骤分步阅读1/4登陆账号首先进入AppStore,然后登陆美区id账号。2/4搜索点击顶部的搜索栏进入搜索页面。3/4查找结果在搜索结果中找到theghost,点击进入详情页面。4/4下载安...

一般家庭买什么电脑好(不懂电脑的人建议买联想吗)

家庭在使用电脑时,要根据自己的需求来选择电脑。目前电脑主要有两种,一种是笔记本,一种是台式机。1、如果是经常出门办公,比如经常出差需要带电脑,作为家庭在选择电脑时,这时由于自己经常出差带电脑,就要选择...