Name of file on installed system	Original name on media for uniprocessor systems	Original name on media for multiprocessor systems
Ntoskrnl.exe	Ntoskrnl.exe	Ntkrnlmp.exe
Ntkrnlpa.exe	Ntkrnlpa.exe in \Windows\<architecture>\Driver.cab	Ntkrpamp.exe in \Windows\<architecture>\Driver.cab
Hal.dll	Depends on other factors; partly reliant on number of processors	Depends on other factors; partly reliant on number of processors