Public bug reported: ---Problem Description--- Kernel LivePatch config options are not set ---uname output--- Linux HostName 4.8.0-11-generic #12-Ubuntu SMP Sat Sep 17 19:58:16 UTC 2016 ppc64le ppc64le ppc64le GNU/Linux Machine Type = 8348-21C ---Debugger--- A debugger is not configured ---Steps to Reproduce--- Check for the following config options in the config file of 4.8.0 kernel version. CONFIG_HAVE_LIVEPATCH=Y CONFIG_LIVEPATCH=Y
# grep LIVEPATCH /boot/config-4.8.0-11-generic # Contact Information = [email protected] Stack trace output: no Oops output: no System Dump Info: The system is not configured to capture a system dump. *Additional Instructions for [email protected]: -Attach sysctl -a output output to the bug. ** Affects: kernel-package (Ubuntu) Importance: Undecided Assignee: Taco Screen team (taco-screen-team) Status: New ** Tags: architecture-ppc64le bugnameltc-146670 severity-critical targetmilestone-inin1610 ** Tags added: architecture-ppc64le bugnameltc-146670 severity-critical targetmilestone-inin1610 ** Changed in: ubuntu Assignee: (unassigned) => Taco Screen team (taco-screen-team) ** Package changed: ubuntu => kernel-package (Ubuntu) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1626983 Title: [Ubuntu16.10]KV4.8: kernel livepatch config options are not set To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/kernel-package/+bug/1626983/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
