Redesign of the X kernel by N.Z. Chen