On Sat, Jan 21, 2012 at 12:35:35PM +1100, Chris Dunlop wrote: > I'm building from vanilla linux-3.1.10 (9bb1282), .config below. Oh, this is probably worth mentioning: whilst the problem is occuring on debian wheezy/sid, both the kernel and systemtap are being built on a different machine running Ubuntu 10.04. Chris