0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013
0014 import os
0015
0016 sys.path.insert(0, os.path.dirname(os.path.abspath(__file__)) + "/scripts/gdb")
0017
0018 try:
0019 gdb.parse_and_eval("0")
0020 gdb.execute("", to_string=True)
0021 except:
0022 gdb.write("NOTE: gdb 7.2 or later required for Linux helper scripts to "
0023 "work.\n")
0024 else:
0025 import linux.utils
0026 import linux.symbols
0027 import linux.modules
0028 import linux.dmesg
0029 import linux.tasks
0030 import linux.config
0031 import linux.cpus
0032 import linux.lists
0033 import linux.rbtree
0034 import linux.proc
0035 import linux.constants
0036 import linux.timerlist
0037 import linux.clk
0038 import linux.genpd
0039 import linux.device