cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

vmlinux-gdb.py (864B)

      1#
      2# gdb helper commands and functions for Linux kernel debugging
      3#
      4#  loader module
      5#
      6# Copyright (c) Siemens AG, 2012, 2013
      7#
      8# Authors:
      9#  Jan Kiszka <jan.kiszka@siemens.com>
     10#
     11# This work is licensed under the terms of the GNU GPL version 2.
     12#
     13
     14import os
     15
     16sys.path.insert(0, os.path.dirname(__file__) + "/scripts/gdb")
     17
     18try:
     19    gdb.parse_and_eval("0")
     20    gdb.execute("", to_string=True)
     21except:
     22    gdb.write("NOTE: gdb 7.2 or later required for Linux helper scripts to "
     23              "work.\n")
     24else:
     25    import linux.utils
     26    import linux.symbols
     27    import linux.modules
     28    import linux.dmesg
     29    import linux.tasks
     30    import linux.config
     31    import linux.cpus
     32    import linux.lists
     33    import linux.rbtree
     34    import linux.proc
     35    import linux.constants
     36    import linux.timerlist
     37    import linux.clk
     38    import linux.genpd
     39    import linux.device