> Unless anyone objects, I will merge rmind-uvmplock branch. The technical > objectives of the branch are described here: [ .. ] i will be very glad when this change is merged! thanks for all your work on it. .mrg.