VirtualKD-Redux 使用教程
1. 项目介绍
VirtualKD-Redux 是 VirtualKD 的复兴和现代化版本,旨在提高 Windows 内核调试性能,特别是在虚拟机环境中。它支持最新的 VMware Workstation Pro 和 VirtualBox,并且兼容从 Windows XP 到 Windows 11 的操作系统。VirtualKD-Redux 还支持 ReactOS,并使用 Visual Studio 2022 进行构建,简化了构建系统,无需额外的库。
2. 项目快速启动
2.1 下载与安装
首先,从 GitHub 仓库下载最新的 VirtualKD-Redux 版本:
git clone https://github.com/4d61726b/VirtualKD-Redux.git
2.2 构建项目
确保你已经安装了 Visual Studio 2022 和 Windows Driver Kit 7.1.0。然后按照以下步骤进行构建:
- 设置环境变量
WDK7_PATH指向 WDK 7.1.0 的安装路径。 - 编辑
make.bat文件,修改VS170COMNTOOLS路径(如果需要)。 - 运行
make.bat脚本。
构建完成后,生成的二进制文件将位于 Bundle 目录中。
2.3 配置虚拟机
- 将
target64文件夹拷贝到虚拟机中。 - 在虚拟机中运行
vminstall.exe进行安装。
2.4 启动调试
-
在主机上打开
vmmon64.exe。 -
设置
DbgX.Shell.exe路径,例如:D:\安装\WinDbg Preview1.1910.3003.0\Microsoft\WinDbg_1.1910.3003.0_neutral__8wekyb3d8bbwe\DbgX.Shell.exe -
点击
Run Debugger。 -
重启虚拟机,在启动界面按
F8,选择禁用驱动程序强制签名命令。
3. 应用案例和最佳实践
3.1 内核调试
VirtualKD-Redux 主要用于内核调试,特别是在虚拟机环境中。通过它,开发者可以显著提高调试效率,减少调试延迟。例如,在开发和测试驱动程序时,VirtualKD-Redux 可以帮助开发者快速定位和修复内核级别的问题。
3.2 系统开发
对于系统开发者来说,VirtualKD-Redux 是一个不可或缺的工具。它支持从 Windows XP 到 Windows 11 的所有版本,使得开发者可以在不同版本的 Windows 上进行一致的调试体验。
4. 典型生态项目
4.1 WinDbg Preview
WinDbg Preview 是微软推出的新一代调试工具,与 VirtualKD-Redux 无缝集成,提供了强大的调试功能。通过 VirtualKD-Redux,开发者可以快速启动 WinDbg Preview 并开始调试。
4.2 VMware Workstation Pro
VirtualKD-Redux 支持最新的 VMware Workstation Pro,使得在 VMware 环境中进行内核调试变得更加高效和便捷。
4.3 VirtualBox
对于使用 VirtualBox 的开发者,VirtualKD-Redux 提供了同样的支持,确保在 VirtualBox 环境中也能获得高效的调试体验。
通过以上步骤和案例,开发者可以充分利用 VirtualKD-Redux 进行高效的内核调试和系统开发。
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00- DDeepSeek-OCR暂无简介Python00
openPangu-Ultra-MoE-718B-V1.1昇腾原生的开源盘古 Ultra-MoE-718B-V1.1 语言模型Python00
HunyuanWorld-Mirror混元3D世界重建模型,支持多模态先验注入和多任务统一输出Python00
AI内容魔方AI内容专区,汇集全球AI开源项目,集结模块、可组合的内容,致力于分享、交流。03
Spark-Scilit-X1-13BFLYTEK Spark Scilit-X1-13B is based on the latest generation of iFLYTEK Foundation Model, and has been trained on multiple core tasks derived from scientific literature. As a large language model tailored for academic research scenarios, it has shown excellent performance in Paper Assisted Reading, Academic Translation, English Polishing, and Review Generation, aiming to provide efficient and accurate intelligent assistance for researchers, faculty members, and students.Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00- HHowToCook程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese only).Dockerfile013
Spark-Chemistry-X1-13B科大讯飞星火化学-X1-13B (iFLYTEK Spark Chemistry-X1-13B) 是一款专为化学领域优化的大语言模型。它由星火-X1 (Spark-X1) 基础模型微调而来,在化学知识问答、分子性质预测、化学名称转换和科学推理方面展现出强大的能力,同时保持了强大的通用语言理解与生成能力。Python00- PpathwayPathway is an open framework for high-throughput and low-latency real-time data processing.Python00