On Tue, 31 Jul 2018 15:57:48 +0200
Frank Elsner <frank(a)moltke28.B.Shuttle.DE> wrote:
I've just upgraded my TP X230i from F27 to F28 painless.
But I'm still on my last F27 kernel-4.16.16-200.fc27.i686+PAE.
No newer kernel installed.
During ame upgrade procedure on my TP x121e kernel was updated to
kernel-4.17.7-100.fc27.i686+PAE.
Both systems are 32bit. What could prevent update to a newer kernel?
I went to koji and looked at the latest kernels for f27 and f28. The
f27 kernels all have PAE available, but the f28 kernels don't. I think
I vaguely recall seeing a note that pae was going to stop being built in
f28. You could always build it from the src.rpm by enabling PAE in the
spec file before you build. There's a switch for it, so it is easy,
just change the value from 0 to 1.
https://koji.fedoraproject.org/koji/packageinfo?packageID=8
https://fedoraproject.org/wiki/Building_a_custom_kernel/Source_RPM
https://fedoraproject.org/wiki/Building_a_custom_kernel