Groups > linux.debian.user > #190802

Re: Kernel problem?

From	"tv.debian@googlemail.com" <tv.debian@googlemail.com>
Newsgroups	linux.debian.user
Subject	Re: Kernel problem?
Date	2018-01-08 16:20 +0100
Message-ID	<v5Hns-7wd-13@gated-at.bofh.it> (permalink)
References	<v5lwB-1de-9@gated-at.bofh.it> <v5lwB-1de-7@gated-at.bofh.it> <v5vcB-80Q-1@gated-at.bofh.it> <v5x4J-Te-1@gated-at.bofh.it> <v5DjQ-4JI-1@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

On 08/01/2018 15:59, Anton Gorlov wrote:
> Hi.
> Less /usr/share/doc/linux-image-4.9.0-5-amd64/changelog.Debian.gz
> 
> - x86/mm: Add the 'nopcid' boot option to turn off PCID
> ...
> - kaiser: add "nokaiser" boot option, using ALTERNATIVE
> 
> In debian kernel no option *pti*
> 
> 08.01.2018 07:14, Rob Hurle пишет:
>> Thanks to everyone who provided help with this failure of the 
>> 4.9.0-5-686-pae kernel.  I have tried both "nopti" and "pti=off" 
>> kernel parameters to see if it is the fix for "Meltdown" which is 
>> causing the problem, but neither parameter changes anything. Since the 
>> system doesn't even get to the kernel fsck stage, I don't have any 
>> logs to be able to either report a bug or analyse the problem.  I also 
>> realise now that auto-update is turned on by default in Stretch, so 
>> that is how the new kernel became installed.  I have temporarily 
>> turned auto-update off because I don't want any automatic update to 
>> clobber my only working kernel - the 4.9.0-4-686-pae.  The updating 
>> system only seems to keep 2 generations of kernel?
>>
>> Any further ideas would be very welcome.
> 

Thanks a lot for correcting that, I am running a vanilla kernel from 
kernel.org on main computer. This Debianism is definitly worth a message 
upon install, I didn't see any on machines which run the default Debian 
kernel.

Back to linux.debian.user | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Re: Kernel problem? Marc Auslander <marcslists@gmail.com> - 2018-01-07 17:00 +0100
  Re: Kernel problem? "tv.debian@googlemail.com" <tv.debian@googlemail.com> - 2018-01-08 03:20 +0100
    Re: Kernel problem? Rob Hurle <rob1940@gmail.com> - 2018-01-08 05:20 +0100
      Re: Kernel problem? Anton Gorlov <stalker@locum.ru> - 2018-01-08 12:00 +0100
        Re: Kernel problem? "tv.debian@googlemail.com" <tv.debian@googlemail.com> - 2018-01-08 16:20 +0100

csiph-web