FlameDuck #1 Like AngelDaniel said, if the scheduler supports "kernel threads" (as opposed to "user threads") it should be able to utilize the second core/HyperThreading/extra CPU.