Folks, I think something I've committed today has broken kernels on at least the 5000/240. They work fine on a 3100 - I'm guessing that perhaps all TURBOchannel-based machines could be affected. As soon as I work out which change broke it, I'll back the change out or fix it. Sorry for any inconvenience, Simon.