查看“Windows Research Kernel”的源代码

{{NavBar|[[首页]] > [[Microsoft Windows 通述]] > [[Windows Server]] > [[Windows Server 2003]] > [[Windows Research Kernel]]}}
{{Infobox Windows build
|build of = [[Windows Server 2003]]
|buildtag = 3800.1807.WRKP1.2(daveprobert)
|family = nt
|NT version = Windows NT 5.2
|build = 3800
|lab = WRKP1.2(daveprobert)
|revision = 1807
|image = WinSRV2003Enterprise_RTM_Desktop.png
|winver = Srv03-WRK-3800-Winver.png
|arch = x86、x64
|compiled = 2006-6-22
}}
Windows Research Kernel（Windows 研究内核，简称 WRK，也被称作 ''Microsoft Windows Academic Operating System''）是 [[Windows Server 2003 Build 3790.1830.srv03_sp1_rtm.050324-1447|Windows Server 2003 Service Pack 1]] 内核源代码的一部分，此内核于 2009 年公开发布。它主要用于大学、学院和科学中心，用于调查和研究 Windows NT 内核结构和工作原理。

WRK 几乎包含 Service Pack 1 内核的完整实现，但部分缺失（可以使用 [[Windows Server 2003 Build 3790.0.srv03_rtm.030324-2048|Windows Server 2003 RTM]] 内核恢复）。此外，内部初步定义和语法错误，以及对 IA-64 体系结构的支持已被删除和修复。特定的 <code>build.exe</code> 脚本也已被删除，整个构建过程是使用硬编码的 NMake 规则完成的。

== Description ==
Besides kernel, WRK includes following: 

* Hardware Abstraction Layers (HAL) and their PDB debugging files for:
** [https://wikipedia.org/wiki/ACPI ACPI] compatible [https://wikipedia.org/wiki/Extended_Industry_Standard_Architecture EISA]/[https://wikipedia.org/wiki/Industry&#x20;Standard&#x20;Architecture ISA] (<code>halacpi.dll</code>),
** ACPI 1.0 - [https://wikipedia.org/wiki/Advanced_Programmable_Interrupt_Controller APIC] platform (<code>halmacpi.dll</code>),
** MPS 1.4 (<code>halmps.dll</code>),
* Pre-compiled files, such as:
** Library files for the HAL, VGA boot driver (<code>bootvid.dll</code>) and SDBPAINT,
** Resource file for <code>ntoskrnl.exe</code> (<code>ntoskrnl.res</code>),
* WRK specific libraries: <code>ntoswrk.lib</code> and <code>ntosarch.lib</code>,
* Documentation for WRK compilation among with Windows Kernel internals,
* Bat script to copy WRK at specific destination.

The resulting image has a build number of 3800.1807, while the included HAL images contain the likely canonical build number - 3790.1807. It also bears a specific [[build lab]] — <code>WRKP1.2(daveprobert)</code>, assuming that the WRK is published by Microsoft employee Dave Probert, who was working at Microsoft’s NT kernel subdivision as of compilation.

=== Booting ===
To run the kernel, a [[Windows XP Professional x64 Edition]] or [[Windows Server 2003 SP1]] machine is required, because of the boot loader and session manager incremental changes, which resemble only SP1 versions and newer. Additional patches are need to run it on [[Windows XP SP1]] and [[Windows Server 2003 RTM]].

To boot the target system with WRK, the compiled kernel file must be copied (<code>wrkx86.exe</code> for x86, or <code>wrkamd64.exe</code> for AMD64). For x86 systems, it is also needed to copy <code>halacpim.dll</code> or other HAL files included in the WRK (such as <code>halmacpi.dll</code> and <code>halmps.dll</code>) into <code>C:\Windows\System32</code>.

Then, a new boot record in <code>boot.ini</code> should be created.

{{Collapse top|title=<code>boot.ini</code> boot record}}
<syntaxhighlight lang="ini">
multi(0)disk(0)rdisk(0)partition(1)\WINDOWS="WRK" /kernel=wrkx86.exe /hal=halacpim.dll
</syntaxhighlight>
{{Collapse bottom}}

After adding the boot record, restart the virtual machine and choose the WRK boot entry.
[[分类:Windows Server 2003 的版本]]