Vitalsource Technologies, Inc. Kernel Mode Decomposition and the Programming of Kernels