I am working on a multi-threaded NDIS WDM driver. It runs fine on a Dual Xeon based system (with both processors enabled) and has passed an entire suite of tests.
But when Hyperthreading is enabled (even with the second processor disabled), the system hangs.
The problem is - I can't even break in with the debugger (SoftICE - DriverStudio 3.0) at this point - have to cold boot the system.
Are there any special considerations for supporting Hyperthreading in device drivers?