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
jussilehtola(a)fedoraproject.org