official SMP kernel available?

[archived]

My hybrid core's running on an old SMP machine and I noticed the default pluto kernel isn't SMP enabled.  I've rummaged in the apt cache and played with dpkg but didn't see another pluto kernel available.  Since I recall seeing mention of an SMP "high end" core, I was wondering if there was one that you wanted us DIY pluto types to use.  If so, how do I get my hands on it?

Thanks much....

[archived]

There is no SMP kernel currently. You can get the sources from http://ftp://ftp.plutohome.com/pub/, enable SMP and build it yourself if you like.