Aug 3, 2021, 10:56 by sven@svenhartge.de: > So in the end, we have 2812MB + 4846MB = 7658MB (approx) usable for the > system as a whole. The Kernel and it data structures also take some of > this, so to have ~7400MB as usable memory is not unreasonable. > Thanks for the explanation.