## gdb helper commands and functions for Linux kernel debugging## Kernel proc information reader## Copyright (c) 2016 Linaro Ltd## Authors:# Kieran Bingham <kieran.bingham@linaro.org>## This work is licensed under the terms of the GNU GPL version 2.#importgdbclassLxVersion(gdb.Command):""" Report the Linux Version of the current kernel. Equivalent to cat /proc/version on a running target"""def__init__(self):super(LxVersion,self).__init__("lx-version",gdb.COMMAND_DATA)definvoke(self,arg,from_tty):# linux_banner should contain a newlinegdb.write(gdb.parse_and_eval("linux_banner").string())LxVersion()