Greg Lehey put up a paper and slides from his Singapore presentation, describing the FreeBSD-5 SMPng work, both in terms of events and code. It’s an interesting read, since this is the path avoided in DragonFly. (Greg Lehey has a 2001 USENIX paper on SMPng, too, which mentions much of the same content.)