I'm investigating a bug which only seems to be reproducable on some single processor machines. I want to know if this is related to the HAL.
Prior to Server 2008, it was possible to select a specific HAL .dll using device manager as described here - Halapic.dll is uniprocessor and Halmps.dll multi.
In Server 2008, I can see three .dlls listed under drivers for my computer. The naming convention suggests that 2008 always has drivers for standard PC, uniproc pc and multiproc pc.
My question is this: Does Server 2008 always use a uniproc HAL on a machine with a single CPU? Additionally, is there a way to determine which HAL you use, or to force use of a particular HAL?