On Mon, Jun 25, 2018 at 01:09:55PM +0300, Susi Lehtola wrote:
On 06/22/2018 02:50 PM, Wolfgang Pfeiffer wrote:
>I'd try a newer kernel from the 4.17 series from the non-official
>kernel repo for Fedora, just to narrow down the issue and see, whether
>it's really a kernel thing:
>
>https://fedoraproject.org/wiki/Kernel_Vanilla_Repositories
This turned out to be a bad proposal, since the workstation didn't
boot up anymore with the vanilla kernel.
Perhaps I should have explicitly quoted here what the page also
says:
" Important notes ...
most systems work better and run in a more secure manner with the
official Fedora kernels"
Next time I might just mention exactly this ... ;)
Fortunately, the local IT support went in and updated the BIOS which
fixed the memory issue
Congratulations!
And thanks for the feed-back!
Wolfgang