from pykd import dprintln

dprintln( "<b>Kernel mode</b>", True )
dprintln( "<link cmd=\"!py proclist\">Get process list</link>", True )
dprintln( "<link cmd=\"!py ssdt\">Get kernel service list (SDT)</link>", True )
dprintln( "<link cmd=\"!py drvobj\">Get driver object</link>", True )
dprintln("")

dprintln( "<b>User mode</b>", True )
dprintln("")