On Tue, May 31, 2011 at 10:15:36PM +0100, Mindaugas Rasiukevicius wrote: > Unless anyone objects, I will merge rmind-uvmplock branch. The technical > objectives of the branch are described here: Indeed, and as usual, extraordinary work! - Jukka.