This bug is awaiting verification that the kernel in -proposed solves
the problem. Please test the kernel and update this bug with the
results. If the problem is solved, change the tag 'verification-needed-
yakkety' to 'verification-done-yakkety'.

If verification is not done by 5 working days from today, this fix will
be dropped from the source code, and this bug will be closed.

See for documentation how
to enable and use -proposed. Thank you!

** Tags added: verification-needed-yakkety

You received this bug notification because you are a member of Kernel
Packages, which is subscribed to linux in Ubuntu.

  [Ubuntu16.10]KV4.8: kernel livepatch config options are not set

Status in linux package in Ubuntu:
  Fix Committed
Status in linux source package in Yakkety:
  Fix Committed

Bug description:
  ---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 
  A debugger is not configured
  ---Steps to Reproduce---
   Check for the following config options in the config file of 4.8.0 kernel 

  # grep LIVEPATCH /boot/config-4.8.0-11-generic
  Contact Information = 
  Stack trace output:
  Oops output:
  System Dump Info:
    The system is not configured to capture a system dump.
  *Additional Instructions for 
  -Attach sysctl -a output output to the bug.

To manage notifications about this bug go to:

Mailing list:
Post to     :
Unsubscribe :
More help   :

Reply via email to