def METHOD_NAME(self):
    # RedHat distributions can deliver kernel in RPM named either 'kernel'
    # or 'kernel-redhat', so we must verify both
    if isinstance(self.policy, RedHatPolicy):
        self.verify_packages = ('kernel$', 'kernel-redhat$')
    # compat
    self.add_cmd_output("uname -a", root_symlink="uname", tags="uname")
    self.add_cmd_output("lsmod", root_symlink="lsmod", tags="lsmod")
    self.add_cmd_output("ls -lt /sys/kernel/slab")
    try:
        modules = self.listdir(self.sys_module)
        self.add_cmd_output("modinfo " + " ".join(modules),
                            suggest_filename="modinfo_ALL_MODULES",
                            tags='modinfo_all')
    except OSError:
        self._log_warn("could not list %s" % self.sys_module)
    # find /lib/modules/*/{extras,updates,weak-updates} -ls
    extra_mod_patterns = [
        "/lib/modules/*/extra",
        "/lib/modules/*/updates",
        "/lib/modules/*/weak-updates",
    ]
    extra_mod_paths = []
    for pattern in extra_mod_patterns:
        extra_mod_paths.extend(glob.glob(pattern))
    if extra_mod_paths:
        self.add_cmd_output("find %s -ls" % " ".join(extra_mod_paths))
    self.add_cmd_output([
        "dmesg",
        "dkms status"
    ], cmd_as_tag=True)
    self.add_cmd_output("sysctl -a", tags="sysctl")
    clocksource_path = "/sys/devices/system/clocksource/clocksource0/"
    # FIXME: provide a a long-term solution for #1299
    self.add_forbidden_path([
        '/sys/kernel/debug/tracing/trace_pipe',
        '/sys/kernel/debug/tracing/README',
        '/sys/kernel/debug/tracing/trace_stat',
        '/sys/kernel/debug/tracing/per_cpu',
        '/sys/kernel/debug/tracing/events',
        '/sys/kernel/debug/tracing/free_buffer',
        '/sys/kernel/debug/tracing/trace_marker',
        '/sys/kernel/debug/tracing/trace_marker_raw',
        '/sys/kernel/debug/tracing/instances/*/per_cpu/*/snapshot_raw',
        '/sys/kernel/debug/tracing/instances/*/per_cpu/*/trace_pipe*',
        '/sys/kernel/debug/tracing/instances/*/trace_pipe'
    ])
    self.add_copy_spec([
        "/proc/modules",
        "/proc/sys/kernel/random/boot_id",
        "/sys/module/*/parameters",
        "/sys/module/*/initstate",
        "/sys/module/*/refcnt",
        "/sys/module/*/taint",
        "/sys/module/*/version",
        "/sys/firmware/acpi/*",
        "/sys/kernel/debug/tracing/*",
        "/sys/kernel/livepatch/*",
        "/proc/kallsyms",
        "/proc/buddyinfo",
        "/proc/slabinfo",
        "/proc/zoneinfo",
        "/lib/modules/%s/modules.dep" % self.policy.kernel_version(),
        "/etc/conf.modules",
        "/etc/modules.conf",
        "/etc/modprobe.conf",
        "/etc/modprobe.d",
        "/lib/modprobe.d",
        "/run/modprobe.d",
        "/usr/local/lib/modprobe.d",
        "/etc/sysctl.conf",
        "/etc/sysctl.d",
        "/lib/sysctl.d",
        "/proc/cmdline",
        "/proc/driver",
        "/proc/sys/kernel/tainted",
        "/proc/softirqs",
        "/proc/lock*",
        "/proc/misc",
        "/var/log/dmesg",
        "/sys/fs/pstore",
        "/var/lib/systemd/pstore",
        "/sys/kernel/debug/dynamic_debug/control",
        "/sys/kernel/debug/extfrag/unusable_index",
        "/sys/kernel/debug/extfrag/extfrag_index",
        clocksource_path + "available_clocksource",
        clocksource_path + "current_clocksource",
        "/proc/pressure/"
    ])
    if self.get_option("with-timer"):
        # This can be very slow, depending on the number of timers,
        # and may also cause softlockups
        self.add_copy_spec("/proc/timer*")
    if not self.get_option("trace"):
        self.add_forbidden_path("/sys/kernel/debug/tracing/trace")