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
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-le...@lists.fedoraproject.org
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org/message/63R2DNJZNZP77KZNRGS6BVYLLSFGDMCL/

Reply via email to