Windows Driver Kit: Driver Development Tools
Boot Parameters to Load a Partial Checked Build
A partial checked build contains checked build versions of the kernel and HAL and a free build of the remainder of the operating system. For details, see Installing Just the Checked Operating System and HAL (For Windows XP and Windows Server 2003) and Installing Just the Checked Operating System and HAL (For Windows Vista and Later).
Configuring a Partial Checked Build in Operating Systems prior to Windows Vista
To configure a partial checked build on Windows 2000, Windows XP, or Windows Server 2003, add the /kernel and /hal parameters to a boot entry. Because Bootcfg does not have a parameter-specific switch to add the /kernel and /hal parameters, use the Bootcfg /raw switch, which allows you to specify any boot parameters for a boot entry.
The first boot entry in the following sample Boot.ini file loads a partial checked build of Windows XP .
[boot loader]
timeout=30
default=multi(0)disk(0)rdisk(0)partition(1)\WINDOWS
[operating systems]
multi(0)disk(0)rdisk(0)partition(1)\WINDOWS="Partial Checked Build" /fastdetect /kernel=ntoskrnl.chk /hal=halacpi.chk
multi(0)disk(0)rdisk(0)partition(1)\WINDOWS="Microsoft Windows XP Professional" /fastdetect
In the following Bootcfg command, the /raw switch adds the content of the string "/kernel=ntoskrnl.chk /hal=halacpi.chk" to a boot entry. The /A switch directs Bootcfg to append the string to the entry, rather than replacing the parameters for the entry. The /ID switch identifies the boot entry.
Without /A, the specified parameters would replace all parameters in the second boot entry — in this case, /fastdetect.
bootcfg /raw "/kernel=ntoskrnl.chk /hal=halacpi.chk" /A /id 1
The following Bootcfg display of boot options in EFI NVRAM shows the result of the command. The parameters that the command added are displayed in bold type.
Boot Options
------------
Timeout: 30
Default: \Device\HarddiskVolume3\WINDOWS
CurrentBootEntryID: 1
Boot Entries
------------
Boot entry ID: 1
OS Friendly Name: Windows Server 2003, Enterprise
OsLoadOptions: /fastdetect /kernel=ntoskrnl.chk /hal=halacpi.chk
BootFilePath: Device\HarddiskVolume1\EFI\Microsoft\WINNT50\ia64ldr.efi
OsFilePath: \Device\HarddiskVolume3\WINDOWS
Configuring a Partial Checked Build in Windows Vista and Later
To configure a partial checked build on Windows Vista and later, use the BCDedit /set command and the kernel and hal options.
The following commands configure a boot entry to use the checked versions of the kernel and hardware abstraction layer (HAL).
bcdedit /set {18b123cd-2bf6-11db-bfae-00e018e2b8db} kernel ntoskrnl.chk
bcdedit /set {18b123cd-2bf6-11db-bfae-00e018e2b8db} hal halacpi.chk
To view the results of the commands, type bcdedit /enum. The /enum option lists all of the boot entries. The boot entry that has been modified to use the checked versions of the kernel and HAL has also been configured for kernel debugging over a serial connection.
Windows Boot Loader
-------------------
identifier {18b123cd-2bf6-11db-bfae-00e018e2b8db}
device partition=C:
path \Windows\system32\winload.exe
description PartialCheckedBuild
locale en-US
inherit {bootloadersettings}
debugtype serial
debugport 1
baudrate 115200
osdevice partition=C:
systemroot \Windows
kernel ntoskrnl.chk
hal halacpi.chk
resumeobject {d7094401-2641-11db-baba-00e018e2b8db}
nx OptIn
debug Yes