You have been subscribed to a public bug:
---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 = nasas...@in.ibm.com
Stack trace output:
no
Oops output:
no
System Dump Info:
The system is not configured to capture a system dump.
*Additional Instructions for nasas...@in.ibm.com:
-Attach sysctl -a output output to the bug.
** Affects: linux (Ubuntu)
Importance: Undecided
Assignee: Taco Screen team (taco-screen-team)
Status: New
** Tags: architecture-ppc64le bugnameltc-146670 severity-critical
targetmilestone-inin1610
--
[Ubuntu16.10]KV4.8: kernel livepatch config options are not set
https://bugs.launchpad.net/bugs/1626983
You received this bug notification because you are a member of Kernel Packages,
which is subscribed to linux in Ubuntu.
--
Mailing list: https://launchpad.net/~kernel-packages
Post to : kernel-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~kernel-packages
More help : https://help.launchpad.net/ListHelp
