"There is only a single reference5 dated to 2010 indicating that Microsoft might use a similar approach for its NT kernel."