Matthw Dillon recently outlined the three major steps in his virtual kernel programming; the first step was done.  The second now appears to be in progress, if not complete.