hal.inf
 

;;++ Added by AddSDisk.cmd
[SourceDisksNames]
3426=windows cd

[SourceDisksFiles]
halacpi.dll = 3426
halmacpi.dll = 3426
ntkrnlmp.exe = 3426
ntkrpamp.exe = 3426
;;--

[Version]
Signature="$WINDOWS NT$"
Class=Computer
ClassGuid={4D36E966-E325-11CE-BFC1-08002BE10318}
Provider=%MSFT%
DriverVer=06/21/2006,6.0.6001.18000
;; Commented by AddSDisk.cmd
;; LayoutFile=layout.inf

[rp_tags_addreg]
HKR,,ResourcePickerTags,0x00000000,"HAL"

[DestinationDirs]
DefaultDestDir = 11

[Manufacturer]
%GENDEV_MFG%=GENDEV_SYS,NTx86

[GENDEV_SYS.NTx86]
%ACPIPIC.DeviceDesc% = ACPIPIC_HAL, ACPIPIC, ACPIAPIC ; ACPI PIC-based PC
%ACPIAPIC.DeviceDesc% = ACPIAPIC_HAL, ACPIAPIC ; ACPI APIC-based PC


;****************************************************
; ACPI PIC-based PC (UP) HAL
[ACPIPIC_HAL]
CopyFiles = ACPIPIC_HAL.CopyFiles
AddReg = rp_tags_addreg
Reboot

[ACPIPIC_HAL.CopyFiles]
hal.dll, halacpi.dll,,0x3100
halacpi.dll, halacpi.dll,,0x3100
halmacpi.dll, halmacpi.dll,,0x3100

;****************************************************
; ACPI APIC-based PC HAL
[ACPIAPIC_HAL]
CopyFiles = ACPIAPIC_HAL.CopyFiles
AddReg = rp_tags_addreg
Reboot

[ACPIAPIC_HAL.CopyFiles]
hal.dll, halmacpi.dll,,0x3100
halacpi.dll, halacpi.dll,,0x3100
halmacpi.dll, halmacpi.dll,,0x3100




[Strings]
MSFT = "Microsoft"

;*******************************************
;device descriptions

GENDEV_MFG = "(Standard computers)"

ACPIPIC.DeviceDesc = "Advanced Configuration and Power Interface (ACPI) PC"
ACPIAPIC.DeviceDesc = "ACPI x86-based PC"
ACPI_AMD64.DeviceDesc = "ACPI x64-based PC"
ACPI_IA64.DeviceDesc = "ACPI IA64-based PC"

REG_EXPAND_SZ = 0x00020000
REG_DWORD = 0x00010001

Как узнать, с каким ядром работает система?

Диспетчер устройств -> Компьютер.

А если система не загружается, как можно определить, каким ядро заменить?