I suspect a HW bug. Kernel 4.13.0-37-generic shows 32 GiB and kernel 4.16.0-041600rc7-generic both report 32 GiB. But on another box with the very same HW I got 64 GiB with all kernels.
You can mark this one as invalid. Sorry for the false alarm. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1759314 Title: missing memory (32Gib instead of 64GiB) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1759314/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs