I’m going on to track down the Pentium 4 HTT issue of FreeBSD. Currently I have setup a tinderbox (hengdm’s workstation because he is not here :-P and it’s the only box which supports HTT) and compiled a SMP kernel on it.

Previously, with a high load, FreeBSD will either freeze or crash on HTT enabled boxes. I’m trying to track this down, and hopefully fix it. I am not sure whether njl@ or jhb@’s recent commits has addressed this, however, a testbox will help the progress.