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.
Fortunately, the local IT support went in and updated the BIOS which
fixed the memory issue
$ free
total used free shared buff/cache
available
Mem: 65845468 690880 64087868 161676 1066720
64368104
Swap: 62499836 0 62499836
and they also booted the computer in a Fedora kernel. (I'm off-site for
a couple of months.)
I.e. the BIOS was the problem, as I had suspected.
--
Susi Lehtola
Fedora Project Contributor
jussileht...@fedoraproject.org
_______________________________________________
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/SWLQDALBBOF4MLGKKDYRS4PBQHIZ3UI5/
