| # | 
 | # gdb helper commands and functions for Linux kernel debugging | 
 | # | 
 | #  loader module | 
 | # | 
 | # Copyright (c) Siemens AG, 2012, 2013 | 
 | # | 
 | # Authors: | 
 | #  Jan Kiszka <jan.kiszka@siemens.com> | 
 | # | 
 | # This work is licensed under the terms of the GNU GPL version 2. | 
 | # | 
 |  | 
 | import os | 
 |  | 
 | sys.path.insert(0, os.path.dirname(__file__) + "/scripts/gdb") | 
 |  | 
 | try: | 
 |     gdb.parse_and_eval("0") | 
 |     gdb.execute("", to_string=True) | 
 | except: | 
 |     gdb.write("NOTE: gdb 7.2 or later required for Linux helper scripts to " | 
 |               "work.\n") | 
 | else: | 
 |     import linux.utils | 
 |     import linux.symbols | 
 |     import linux.modules | 
 |     import linux.dmesg | 
 |     import linux.tasks | 
 |     import linux.cpus | 
 |     import linux.lists | 
 |     import linux.proc | 
 |     import linux.constants |