| # gdb helper commands and functions for Linux kernel debugging |
| # Copyright (c) Siemens AG, 2012, 2013 |
| # Jan Kiszka <jan.kiszka@siemens.com> |
| # This work is licensed under the terms of the GNU GPL version 2. |
| sys.path.insert(0, os.path.dirname(__file__) + "/scripts/gdb") |
| gdb.execute("", to_string=True) |
| gdb.write("NOTE: gdb 7.2 or later required for Linux helper scripts to " |
| if linux.constants.LX_CONFIG_DEBUG_INFO_REDUCED: |
| raise gdb.GdbError("Reduced debug information will prevent GDB " |
| "from having complete types.\n") |