#
#  Modules Info
#

import pykd


if pykd.isKernelDebugging():

    nt = pykd.loadModule("nt")
    hal = pykd.loadModule("hal")